Publications

An experiment in automatic verification of programs

• • G.M. Weinberg
  • G.L. Gressett
• 1963
• CACM