Formal methods at the crossroads
Subtitle: from panacea to foundational support : 10th anniversary colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers
By: Bernhard K. Aichernig, Tom Maibaum (eds.).
Contributors: Aichernig, Bernhard K., 1969-; Maibaum, Thomas S. E., 1947-; International Institute for Software Technology.
Series: Lecture notes in computer science -- 2757.
Publisher: Springer-Verlag
Published: 2003
Place of publication: New York
Language: eng
Number of pages: 453
Subjects: Software engineering -- Congresses
Genres: Congresses.
Notes: Includes bibliographical references and index.