Reusing Constraint Proofs in Program Analysis Andrea Aquino , Francesco A. Bianchi ,
Reusing Constraint Proofs in Program Analysis Andrea Aquino , Francesco A. Bianchi , Meixian Chen , Giovanni Denaro + , Mauro Pezz ,+ Universit della Svizzera italiana (USI), + University of Milano-Bicocca, Switzerland
882 views • 44 slides