A counterexample-based incremental and modular verification approach (2012)

by AKOP12 Étienne André, Kais Klai, Hanen Ochi, Laure Petrucci
Venue:In Monterey Workshop