From Under-Approximations to Over-Approximations and Back.

Aws Albarghouthi, Arie Gurfinkel, Marsha Chechik

Browse the full TACAS paper archive.