FME 2001
Subtitle: formal methods for increasing software productivity : [10th] International Symposium of Formal Methods Europe, Berlin, Germany, March 12-16, 2001 : proceedings
By: José Nuno Oliveira, Pamela Zave (eds.).
Contributors: Oliveira, José N.; Zave, Pamela, 1948-
Series: Lecture notes in computer science -- 2021.
Publisher: Springer
Published: 2001
Place of publication: New York
Language: eng
Number of pages: 628
Subjects: Computer software -- Development -- Congresses
Notes: Includes bibliographical references and index.