conference paper

Verifying Complex Properties using Symbolic Shape Analysis

Wies, Thomas
•
Kuncak, Viktor  orcid-logo
•
Zee, Karen
Show more
2007
Workshop on Heap Abstraction and Verification (collocated with ETAPS)