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
Published: Mar 12, 2014
Format: paperback
Number of pages: 260
ISBN-13: 9781447135333
Notes: Source title: Formal Methods for Trustworthy Computer Systems (FM89): Report from FM89: A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems 23-27 July 1989, Halifax, Canada