DMCA

Integrating Implicit Induction Proofs into Certified Proof Environments (2010)

by Sorin Stratulat
Citations:2 - 1 self