Proceedings of FMSP'98
Subtitle: the Second Workshop on Formal Methods in Software Practice : March 4-5, 1998, Clearwater Beach, Florida, USA
By: edited by Mark Ardis ; sponsored by ACM SIGSOFT.
Contributors: Ardis, Mark A. 1949-; ACM Sigsoft.
Publisher: Association for Computing Machinery
Published: 1998
Place of publication: New York, N.Y
Language: eng
Number of pages: 109
Subjects: Computer software -- Development -- Congresses
Genres: Congresses.
Other titles: FMSP'98.; Second Workshop on Formal Methods in Software Practice.; Formal Methods in Software Practice.; Proceedings of the Second Workshop on Formal Methods in Software Practice.
Notes: Includes bibliographical references and index.

Also available on the World Wide Web via ACM Digital Library with title: Proceedings of the Second Workshop on Formal Methods in Software Practice.

OCLC order: ACM Digital Library.