×

Found 4 Documents (Results 1–4)

Newest Citations Relevance
Berdine, Josh; Calcagno, Cristiano; Cook, Byron; Distefano, Dino; O’Hearn, Peter W.; Wies, Thomas; Yang, Hongseok

Shape analysis for composite data structures. (English) Zbl 1135.68372

Damm, Werner (ed.) et al., Computer aided verification. 19th international conference, CAV 2007, Berlin, Germany, July 3–7, 2007. Proceedings. Berlin: Springer (ISBN 978-3-540-73367-6/pbk). Lecture Notes in Computer Science 4590, 178-192 (2007).
MSC:  68P05
Cite Review PDF
Full Text: DOI

Filter Results by …

all top 5

Author

Main Field

all top 3

Software