Formal methods for trustworthy computer systems (FM89)
Subtitle: report from FM89--a Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems, 23-27 July 1989, Halifax, Canada
By: Dan Craigen, editor, and Karen Summerskill, assitant editor.
Contributors: Craigen, Dan, 1953-; Summerskill, Karen, 1958-
Series: Workshops in computing
Publisher: Springer-Verlag
Published: 1990
Place of publication: London; New York
Language: eng
Number of pages: 248
Subjects: Computer software -- Validation -- Congresses.; Computer software -- Verification -- Congresses.; Computer software -- Testing -- Congresses.; Formal methods (Computer science) -- Congresses.
Notes: "Published in collaboration with the British Computer Society."