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 > Formal Methods at the Crossroads. From Panacea to Foundational Support > In Memoriam Armando Martín Haeberer > 1-25