Conditional Analysis and Verification.

Nevin Heintze, Joxan Jaffar, Razvan Voicu

Browse the full APLAS paper archive.