Social Processes and Proofs of Theorems and Programs
Author
Richard A. De Millo,Richard J. Lipton,Alan J. Perlis
Journal
Communications of the ACM
Publication Date
0000-00-00
Keywords
Formal Mathematics,Mathematical Proofs,Program Verification,Program specification
Location
A hard-copy of this is in the Papers Cabinet