FME '93
Subtitle: industrial-strength formal methods : First International Symposium of Formal Methods Europe, Odense, Denmark, April 19-23, 1993 proceedings
By: J.C.P. Woodcock, P.G. Larsen, eds.
Contributors: Woodcock, Jim.; Larsen, P. G. 1964-
Series: Lecture notes in computer science ;; 670
Publisher: Springer-Verlag
Published: 1993
Place of publication: Berlin; New York
Language: eng
Number of pages: 689
Subjects: Computer software -- Development -- Congresses
Other titles: Formal Methods Europe '93.
Notes: Includes bibliographical references.