Bounded Model Checking using Satisfiability Solving (0)

by E Clarke, A Biere, R Raimi, Y Zhu
Venue:FMSD