Loading...
conference paper
Implications of a Data Structure Consistency Checking System
2005
International conference on Verified Software: Theories, Tools, Experiments (VSTTE, IFIP Working Group 2.3 Conference)
Loading...
Name
KuncakETAL05ImplicationsDataStructureConsistencyCheckingSystem.pdf
Access type
openaccess
Size
72.57 KB
Format
Adobe PDF
Checksum (MD5)
a52e47a0463041580c8dc583cd936778