Automated Program Verification.

Azadeh Farzan, Matthias Heizmann, Jochen Hoenicke, Zachary Kincaid, Andreas Podelski

Browse the full LATA paper archive.