%0 Book
%T Formal methods at the crossroads from panacea to foundational support : 10th Anniversary Colloquium of UNI/IISI, the International Institute for Software Technology of The United Nations University, Lisbon, Portugal, March 18 - 20, 2002 ; revised papers
%A International Institute for Software Technology
%A Aichernig, Bernhard K.
%A Maibaum, Tom
%A Haeberer, Armando Martín
%I Springer
%@ 3540205276
%K Software engineering Congresses
%K Konferenzschrift 2002 Lissabon
%K Festschrift
%K Softwareentwicklung
%K Formale Methode
%D 2003
%X Festschrift Armando Martín Haeberer
%C Springer
%C Berlin
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation