Loading...
conference paper
Combining Theorem proving with Static Analysis for Data Structure Consistency
2004
International Workshop on Software Verification and Validation
Loading...
Name
ZeeETAL04CombiningTheoremStaticAnalysisDataStructureConsistency.pdf
Access type
openaccess
Size
231.33 KB
Format
Adobe PDF
Checksum (MD5)
83ae95c7c8cf1a44a594348dbb15a48b