Logical Analysis of Programs

Shmuel Katz, Zohar Manna. Logical Analysis of Programs. Communications of the ACM, 19(4):188-206, 1976.

Abstract

Abstract is missing.