[Lecture Notes in Computer Science] Formal Methods at the Crossroads. From Panacea to Foundational Support Volume 2757 || Verification by Abstraction

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

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