Loading...
conference paper
Combining Theorem proving with Static Analysis for Data Structure Consistency
2004
International Workshop on Software Verification and Validation
Type
conference paper
Author(s)
Date Issued
2004
Published in
International Workshop on Software Verification and Validation
Written at
OTHER
EPFL units
Available on Infoscience
August 21, 2007
Use this identifier to reference this record