conference paper
Verifying Complex Properties using Symbolic Shape Analysis
2007
Workshop on Heap Abstraction and Verification (collocated with ETAPS)
Type
conference paper
Author(s)
Date Issued
2007
Published in
Workshop on Heap Abstraction and Verification (collocated with ETAPS)
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record