Formal Methods for Trustworthy Computer Systems
Subtitle: Report from Fm89--A Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 ... Halifax, Canada (Workshops in Computing)
Contributors: Karen Summerskill (Editor)
Publisher: Springer
Published: March 1991
Language: eng
Number of pages: 248
ISBN-13: 9780387196350