The limits of correctness

• 1 January 1985
• journal article
• Published by Association for Computing Machinery (ACM) in ACM SIGCAS Computers and Society
• Vol. 14,15  (1,2,3,4) , 18-26
• https://doi.org/10.1145/379486.379512

Abstract