CVC Lite: A New Implementation of the Cooperating Validity Checker (2004)

by C L Barrett, S Berezin
Venue:In Proc. CAV’04, volume 3114 of LNCS