Gaining Assurance with Formal Methods

Stuart Anderson, Glenn Bruns

Research output: Chapter in Book/Report/Conference proceedingChapter (peer-reviewed)peer-review

Original languageEnglish
Title of host publicationApplications of Formal Methods
EditorsMichael G. Hinchey, Jonathan P. Bowen
Place of PublicationUpper Saddle River, NJ, USA
PublisherPrentice Hall PTR
Edition1st
ISBN (Print)0133669491
Publication statusPublished - 13 Sep 1995

Cite this