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 BibTeX
@proceedings{DBLP:conf/unu/2002,
editor = {Bernhard K. Aichernig and
T. S. E. Maibaum},
title = {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},
booktitle = {10th Anniversary Colloquium of UNU/IIST},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {2757},
year = {2003},
isbn = {3-540-20527-6},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Work at UNU/IIST
At the Crossroads
From Models to Software
Real-Time Systems
Verification
Copyright © Sat May 16 23:44:21 2009
by Michael Ley (ley@uni-trier.de)
