Formal Specification and Verification of Software. / Walter, Colin D.; Eldridge, S. E.

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

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 pages8
Publication statusPublished - 1991
This open access research output is licenced under a Creative Commons Attribution-NonCommercial-NoDerivs 3.0 Unported License.

ID: 4595289