Deciding Program Properties via Complete Abstractions on Bounded Domains.

Roberto Bruni, Roberta Gori, Nicolas Manini

Browse the full SAS paper archive.