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
rozdział
Lecture Notes in Computer Science > Formal Methods at the Crossroads. From Panacea to Foundational Support > In Memoriam Armando Martín Haeberer > 1-25
The sudden death of Arrmando in February devastated his many friends and colleagues around the world. I had known him for almost twenty years and I cannot but remember him in very personal terms. Hence, this brief account of his life and work will be written in the first person singular and represents mainly my own impressions of him as a man and as a scientist/academic.
