Shape Analysis for Composite Data Structures

Shape Analysis for Composite Data Structures

Bibliographic Details
Main Authors: Berdine, J, Calcagno, C, Cook, B, Distefano, D, O'Hearn, P, Wies, T, Yang, H
Format: Conference item
Published: Springer−Verlag 2007

Similar Items