Underapproximation of Procedure Summaries for Integer Programs.

Pierre Ganty, Radu Iosif, Filip Konecn

Browse the full TACAS paper archive.