Mechanical Verification of an Ideal Incremental

Michal Rusinowitch, Sorin Stratulat, Francis Klay

Browse the full CAV paper archive.