Loading...
conference paper
Generalized Typestate Checking for Data Structure Consistency
2005
Verification, Model Checking and Abstract Interpretation
Loading...
Name
LamETAL05GeneralizedTypestateCheckingDataStructureConsistency.pdf
Access type
openaccess
Size
158.98 KB
Format
Adobe PDF
Checksum (MD5)
bb5de1e125a6269a91274fc2e86a8637