Gaining Assurance with Formal Methods

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

Original language	English
Title of host publication	Applications of Formal Methods
Editors	Michael G. Hinchey, Jonathan P. Bowen
Place of Publication	Upper Saddle River, NJ, USA
Publisher	Prentice Hall PTR
Edition	1st
ISBN (Print)	0133669491
Publication status	Published - 13 Sept 1995

Cite this

@inbook{941077e6f8f24f18af4147fe08b1510b,

title = "Gaining Assurance with Formal Methods",

author = "Stuart Anderson and Glenn Bruns",

year = "1995",

month = sep,

day = "13",

language = "English",

isbn = "0133669491",

editor = "Hinchey, {Michael G.} and Bowen, {Jonathan P.}",

booktitle = "Applications of Formal Methods",

publisher = "Prentice Hall PTR",

edition = "1st",

}