DMCA

ARMC: the logical choice for software model checking with abstraction refinement (2007)

Cached

Download Links

by Andreas Podelski , Andrey Rybalchenko
Venue:In PADL
Citations:79 - 18 self