CVC lite: A new implementation of the cooperating validity checker. Category B

Clark Barrett, Sergey Berezin

Research output: Chapter in Book/Report/Conference proceedingChapter

Fingerprint

Dive into the research topics of 'CVC lite: A new implementation of the cooperating validity checker. Category B'. Together they form a unique fingerprint.

Keyphrases

Computer Science