Making Software Verification Tools Really Work.

Jade Alglave, Alastair F. Donaldson, Daniel Kroening, Michael Tautschnig

Browse the full ATVA paper archive.