report

On Verifying Complex Properties using Symbolic Shape Analysis

Wies, Thomas
•
Kuncak, Viktor  orcid-logo
•
Zee, Karen
Show more
2006
Type
report
Author(s)
Wies, Thomas
Kuncak, Viktor  orcid-logo
Zee, Karen
Podelski, Andreas
Rinard, Martin
Date Issued

2006

Note

MPI-I-2006-2-1 (Max-Planck Institute for Computer Science)

URL

URL

http://arxiv.org/abs/cs.PL/0609104
Written at

OTHER

EPFL units
LARA  
Available on Infoscience
August 21, 2007
Use this identifier to reference this record
https://infoscience.epfl.ch/handle/20.500.14299/10395