Login / Signup

Readable Formal Proofs.

John C. Reynolds
Published in: VSTTE (2008)
Keyphrases
  • formal proofs