Login / Signup
Enhancing Program Verification with Lemmas.
Huu Hai Nguyen
Wei-Ngan Chin
Published in:
CAV (2008)
Keyphrases
</>
theorem proving
theorem prover
artificial intelligence
computer vision