CVC: A Cooperating Validity Checker (2002)

by A Stump, C W Barrett, D L Dill
Venue:In Proc. CAV’02, volume 2404 of LNCS