@inproceedings{SBD02,
author= "A. Stump and C. Barrett and D. Dill",
title={{CVC: a Cooperating Validity Checker}},
booktitle="14th International Conference on Computer-Aided Verification",
editors="K. Larsen and E. Brinksma",
year="2002"}