Edmund M. Clarke, Muralidhar Talupur, Tayssir Touili, Helmut Veith
Browse the full CONCUR paper archive.