Conference
Armando Martin!Haeberer - 4 January 1947-11 February 2003 - In memoriam
Authors
Maibaum T
Editors
Aichernig BK; Maibaum T
Series
Lecture Notes in Computer Science
Volume
2757
Pagination
pp. 1-25
Publisher
SPRINGER-VERLAG BERLIN
Publication Date
January 1, 2003
ISBN-10
3-540-20527-6
Name of conference
10th Colloquium of the United-Nations-University-International-Institute-for-Software-Technology (UNU/ISST)
Conference place
PORTUGAL, Lisbon
Conference start date
March 18, 2002
Conference end date
March 20, 2002
Conference proceedings
FORMAL METHODS AT THE CROSSROADS: FROM PANACEA TO FOUNDATIONAL SUPPORT
ISSN
0302-9743