ACM forum

This publication has 10 references indexed in Scilit:

• Social processes and proofs of theorems and programs
  Communications of the ACM, 1979
• A controlled experiment in program testing and code walkthroughs/inspections
  Communications of the ACM, 1978
• Characteristics of application software maintenance
  Communications of the ACM, 1978
• Perspectives in Software Engineering
  ACM Computing Surveys, 1978
• Mathematics, Science and Epistemology
  Published by Cambridge University Press (CUP) ,1978
• A Course in Mathematical Logic
  Published by Springer Nature ,1977
• Proofs and Refutations
  Published by Cambridge University Press (CUP) ,1976
• Proving the correctness of a flight-director program for an airborne minicomputer
  Published by Association for Computing Machinery (ACM) ,1976
• An Approach to Program Testing
  ACM Computing Surveys, 1975
• Some correctness principles for machine language programs and microprograms
  Published by Association for Computing Machinery (ACM) ,1974