In Memoriam Armando Martín Haeberer
- Cite this paper as:
- Maibaum T. (2003) In Memoriam Armando Martín Haeberer. In: Aichernig B.K., Maibaum T. (eds) Formal Methods at the Crossroads. From Panacea to Foundational Support. Lecture Notes in Computer Science, vol 2757. Springer, Berlin, Heidelberg
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.
Unable to display preview. Download preview PDF.