Login / Signup

Theorem Proving Using Lazy Proof Explication.

Cormac FlanaganRajeev JoshiXinming OuJames B. Saxe
Published in: CAV (2003)
Keyphrases