Shape analysis for composite data structures (2007)

by Josh Berdine , Cristiano Calcagno , Byron Cook , Dino Distefano , Peter W. O’hearn , Hongseok Yang , Queen Mary
Venue:In CAV
Citations:89 - 20 self