Book
Formal Methods at the Crossroads. 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
Editors
Aichernig BK; Maibaum TSE
Series
Lecture Notes in Computer Science
Volume
2757
Publisher
Springer
Publication Date
March 29, 2011
ISBN-10
3-540-20527-6