Bounded Abstract Interpretation.

Maria Christakis, Valentin Wstholz

Browse the full SAS paper archive.