Toward Property-Driven Abstraction for Heap Manipulating Programs

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-75596-8_3 ◽

2007 ◽

pp. 17-18

Author(s):

K. L. McMillan

Download Full-text