Aichernig, Bernhard K.
[HerausgeberIn];
Maibaum, Tom
[HerausgeberIn];
Haeberer, Armando Martín
[GefeierteR]
;
International Institute for Software Technology
Sie können Bookmarks mittels Listen verwalten, loggen Sie sich dafür bitte in Ihr SLUB Benutzerkonto ein.
Medientyp:
Buch;
Festschrift;
Konferenzbericht
Titel:
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