CVC: a Cooperating Validity Checker (2002)
by
Aaron Stump
,
Clark W. Barrett
,
David L. Dill
| Venue: | In 14th International Conference on Computer-Aided Verification |
| Citations: | 102 - 17 self |
Document Versions
| CVC: a Cooperating Validity Checker –Aaron Stump, Clark W. Barrett, David L. Dill — 2002 — In 14th International Conference on Computer-Aided Verification |
