Proceedings of FMSP'00
Subtitle: the Third Workshop on Formal Methods in Software Practice : August 24-25, 2000, Portland, Oregon, USA
By: edited by Mats P.E. Heimdahl ; co-located with ISSTA '00 ; sponsored by ACM SIGSOFT.
Contributors: International Symposium on Software Testing and Analysis.
Publisher: Association for Computing Machinery
Published: 2000
Place of publication: New York
Language: eng
Number of pages: 112
Subjects: Computer software -- Development -- Congresses
Genres: Congresses.
Other titles: FMSP'00; Third Workshop on Formal Methods in Software Practice; Formal methods in software practice
Notes: "ACM Order Number: 592003"--T.p. verso.

Includes bibliographical references and index.