Formal Methods for Trustworthy Computer Systems : Report from FM89
Subtitle: a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada
Publisher: Springer London, Limited
Published: 2013
Language: eng
ISBN-13: 9781447135326