DMCA

SATABS: SAT-based Predicate Abstraction for ANSI-C (2005)

Cached

Download Links

by Edmund Clarke , Daniel Kroening , Natasha Sharygina , Karen Yorav
Venue:In TACAS, volume 3440 of LNCS
Citations:117 - 21 self