Bridging the Gap: Automatic Verified Abstraction of C

Interactive Theorem Proving - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32347-8_8 ◽

2012 ◽

pp. 99-115 ◽

Cited By ~ 22

Author(s):

David Greenaway ◽

June Andronick ◽

Gerwin Klein

Download Full-text