FME '96, industrial benefit and advances in formal methods
Subtitle: Third International Symposium of Formal Methods Europe co-sponsored by IFIP WG 14.3, Oxford, UK, March 18-22, 1996 : proceedings
By: Marie-Claude Gaudel, James Woodcock, eds.
Contributors: Gaudel, M.-C.; Woodcock, Jim.
Series: Lecture notes in computer science ;; 1051
Publisher: Springer
Published: 1996
Place of publication: Berlin; New York
Language: eng
Number of pages: 704
Subjects: Computer software -- Development -- Congresses
Other titles: Industrial benefit and advances in formal methods
Notes: Includes bibliographical references and index.