Competition on Software Verification (SV-COMP (2012)

by D Beyer
Venue:In Proc. TACAS, LNCS 7214