Details

Autor(en) / Beteiligte

• Aichernig, Bernhard K
• Maibaum, Tom

Titel

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 [Elektronische Ressource]

Ort / Verlag

Berlin, Heidelberg : Springer Berlin Heidelberg, Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg

Erscheinungsjahr

2003

Link zum Volltext

• Springer Lecture Notes in Computer Science 1997-2015 (ZDB-2-LNC)