A Symbolic Approach to Predicate Abstraction (2003)

Cached

Download Links

by Shuvendu K. Lahiri , Randal E. Bryant , Byron Cook
Venue:COMPUTER-AIDED VERIFICATION (CAV 2003), LNCS 2725
Citations:58 - 12 self