Small Witnesses for Abstract Interpretation-Based Proofs.

Frdric Besson, Thomas P. Jensen, Tiphaine Turpin

Browse the full ESOP paper archive.