Formal Methods. / Walter, Colin D.

Concise Encyclopedia of Software Engineering. ed. / D. Morris; B. Tamm. Pergamon Press, 1991. p. 135-138.

Research output: Chapter in Book/Report/Conference proceedingOther contribution

Original languageUndefined/Unknown
Title of host publicationConcise Encyclopedia of Software Engineering
EditorsD. Morris, B. Tamm
PublisherPergamon Press
Number of pages4
Publication statusPublished - 1991
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 4595302