Scalable Shape Analysis for Systems Code
Hongseok Yang‚ Oukseh Lee‚ Josh Berdine‚ Cristiano Calcagno‚ Byron Cook‚ Dino Distefano and Peter W. O'Hearn
Address
Princeton‚ NJ‚ USA
Book Title
Proceedings of the 20th International Conference on Computer Aided Verification
ISBN
978−3−540−70543−7
Month
July
Pages
385–398
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
5123
Year
2008