A.: Broadening the scope of SMT-COMP: the application track (2012)

by R Bruttomesso, Griggio
Venue:In: COMPARE