UNU/IIST

10th Anniversary Colloquium of UNU/IIST 2002: Lisbon, Portugal

Bernhard K. Aichernig, T. S. E. Maibaum (Eds.): 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. Lecture Notes in Computer Science 2757 Springer 2003, ISBN 3-540-20527-6
Contents

Last update Sat May 25 14:36:02 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page