Shape Analysis for Composite Data Structures
Josh Berdine‚ Cristiano Calcagno‚ Byron Cook‚ Dino Distefano‚ Peter W. O'Hearn‚ Thomas Wies and Hongseok Yang
Address
Berlin‚ Germany
Book Title
Proceedings of the 19th International Conference on Computer Aided Verification
ISBN
978−3−540−73367−6
Month
July
Pages
178–192
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
4590
Year
2007