Loading...
conference paper
Verifying Complex Properties using Symbolic Shape Analysis
2007
Workshop on Heap Abstraction and Verification (collocated with ETAPS)
Type
conference paper
Authors
Publication date
2007
Published in
Workshop on Heap Abstraction and Verification (collocated with ETAPS)
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record