Proceedings of the ACM SIGSOFT International Workshop on Formal Methods in Software Development
By: edited by Mark Moriconi ; Napa, California, USA, 9-11 May, 1990.
Contributors: Moriconi, Mark.; ACM Sigsoft.
Series: Software engineering notes -- v. 15, no. 4.
Publisher: Association for Computing Machinery
Published: 1990
Place of publication: New York
Language: eng
Number of pages: 149
Subjects: Computer software -- Development -- Congresses
Genres: Congresses.
Notes: "September 1990."

Includes bibliographical references and index.