Preliminary summary: FM89 assessment of formal methods for trustworthy computer systems

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Preliminary summary: FM89 assessment of formal methods for trustworthy computer systems

Full text

Pdf (425 KB)

Source

International Symposium on Software Testing and Analysis archive
Proceedings of the ACM SIGSOFT '89 third symposium on Software testing, analysis, and verification table of contents

Key West, Florida, United States

Pages: 152 - 155

Year of Publication: 1989

ISBN:0-89791-342-6

Also published in ...

Author

S. Gerhart

MCC Software Technology Program

Sponsors

IEEE-CS : Computer Society
SIGSOFT: ACM Special Interest Group on Software Engineering

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 6, Citation Count: 2

Additional Information:

cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/75308.75326 What is a DOI?

CITED BY 2

	Dan Craigen , Peter Ryan, FM91: formal methods workshop, Proceedings of the 13th international conference on Software engineering, p.140-142, May 13-17, 1991, Austin, Texas, United States
	Susan L. Gerhart, Guest Editor's Introduction: Applications of Formal Methods"Developing Virtuoso Software, IEEE Software, v.7 n.5, p.6-10, September 1990