Shape Analysis for Composite Data Structures
Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, and Hongseok Yang
2007
In Computer Aided Verification (CAV 2007)
Publisher Springer
Details
| Type | Inproceedings |
| Pages | 178–192 |
| Volume | 4590 |
| Series | LNCS |
Related People
Share
