[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Towards the Verifying Compiler

✍ Scribed by Aichernig, Bernhard K.; Maibaum, Tom

• Book ID: 118050072
• Publisher: Springer Berlin Heidelberg
• Year: 2003
• Weight: 120 KB
• Category: Article
• ISBN: 3540400079
• DOI: 10.1007/978-3-540-40007-3_10