Skip to main navigation Skip to search Skip to main content

Formal Methods

  • Colin D. Walter

Research output: Chapter in Book/Report/Conference proceeding › Other contribution

Original languageUndefined/Unknown
Title of host publicationConcise Encyclopedia of Software Engineering
EditorsD. Morris, B. Tamm
PublisherPergamon Press
Pages135-138
Number of pages4
Publication statusPublished - 1991

Access to Document

Cite this