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 /

Bibliographic Details
Corporate Authors:	Workshop on the Assessment of Formal Methods for Trustworthy Computer Systems Halifax, N.S., SpringerLink (Online service)
Other Authors:	Craigen, Dan, 1953-, Summerskill, Karen, 1958-
Format:	Conference Proceeding eBook
Language:	English
Published:	London ; New York : Springer-Verlag, [1990]
Series:	Workshops in computing.
Subjects:	Computer software > Validation > Congresses. Computer software > Verification > Congresses. Computer software > Testing > Congresses. Formal methods (Computer science) > Congresses. Logiciels > Validation > Congrès. Logiciels > Vérification > Congrès. Logiciels > Essais > Congrès. Computer software > Testing. Computer software > Validation. Computer software > Verification. Formal methods (Computer science) Computers Electronic books. Conference proceedings.
Online Access:	Connect to the full text of this electronic book

Available Online