Publications

Publication date: November 14, 1976

An introduction to proving the correctness of programs

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

S. Hantler, J. King

Publication date: February 15, 1976

Symbolic execution and program testing

Commun. ACM , 19(7), 385–394

J. King
1 … 110 111 112 113