Loading...
conference paper
In-Place Refinement for Effect Checking
2003
Workshop on Automated Verification of Infinite-State Systems
Loading...
Name
KuncakLeino03InPlaceRefinementEffectChecking.pdf
Access type
openaccess
Size
210.89 KB
Format
Adobe PDF
Checksum (MD5)
d6ed39dcd7aefc373e1976f93df2d026