DMCA

Using Bounded Model Checking to Focus Fixpoint Iterations (2011)

by David Monniaux , Laure Gonnord
Citations:13 - 6 self