DMCA

competition on software verification (2013)

Cached

Download Links

by Dirk Beyer , Georg Dresler
Venue:In: Proc. TACAS, LNCS 7795
Citations:20 - 8 self