ACM Comput. Surv. , 8(3), 331–353

An introduction to proving the correctness of programs

November 14, 1976

S. Hantler, J. King

Read Research Paper