competition on software verification (2013)

by D Second Beyer
Venue:Status Report on Software Verification 387