DMCA

Salsa: Combining Constraint Solvers with BDDs for Automatic Invariant Checking (2000)

Cached

Download Links

by Ramesh Bharadwaj , Steve Sims
Citations:39 - 13 self