Login / Signup
The use and abuse of formal proofs.
John R. Thompson
Published in:
ACM SIGPLAN Notices (1983)
Keyphrases
</>
formal proofs