Proof-Like Counter-Examples.

Arie Gurfinkel, Marsha Chechik

Browse the full TACAS paper archive.