Chapter
In Memoriam Armando Martín Haeberer
Abstract
Authors
Maibaum T
Book title
Formal Methods at the Crossroads. From Panacea to Foundational Support
Series
Lecture Notes in Computer Science
Volume
2757
Pagination
pp. 1-25
Publisher
Springer Nature
Publication Date
January 1, 2003
DOI
10.1007/978-3-540-40007-3_1