Shape analysis for composite data structures
Josh Berdine, Cristiano Calcagno, Byron Cook, Dino Distefano, Peter W. O'Hearn, Thomas Wies, Hongseok Yang[ISBN] [Google Scholar] [DBLP] [Citeseer]
Computer Aided Verification
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 178-192
2007
Note(s): separation logic
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 178-192
2007
Note(s): separation logic