Reliability and integrity of large computer programs

This publication has 32 references indexed in Scilit:

• A design methodology for reliable software systems
  Published by Association for Computing Machinery (ACM) ,1972
• A summary of progress toward proving program correctness
  Published by Association for Computing Machinery (ACM) ,1972
• System quality through structured programming
  Published by Association for Computing Machinery (ACM) ,1972
• The Structure of the “THE” Multiprogramming System
  Published by Springer Nature ,1968
• Decision tables
  The Computer Journal, 1967
• Correctness of a compiler for arithmetic expressions
  Proceedings of Symposia in Applied Mathematics, 1967
• Assigning meanings to programs
  Published by American Mathematical Society (AMS) ,1967
• System implications of information privacy
  Published by Association for Computing Machinery (ACM) ,1967
• Analysis of Graphs by Connectivity Considerations
  Journal of the ACM, 1966
• A Basis for a Mathematical Theory of Computation)
  Published by Elsevier ,1963