Implications of a Data Structure Consistency Checking System

conference paper

•

Lam, Patrick

•

Zee, Karen

2005

International conference on Verified Software: Theories, Tools, Experiments (VSTTE, IFIP Working Group 2.3 Conference)

Name

KuncakETAL05ImplicationsDataStructureConsistencyCheckingSystem.pdf

Access type

openaccess

Size

72.57 KB

Format

Adobe PDF

Checksum (MD5)

a52e47a0463041580c8dc583cd936778