Login / Signup

The use and abuse of formal proofs.

John R. Thompson
Published in: ACM SIGPLAN Notices (1983)
Keyphrases
  • formal proofs