DMCA

Building your own software model checker using the Bogor extensible model checking framework (2005)

Cached

Download Links

by Matthew B. Dwyer , John Hatcliff , Matthew Hoosier
Venue:In Computer Aided Verification (CAV
Citations:28 - 0 self