Program Correctness: On Inductive Assertion Methods

James C. King. Program Correctness: On Inductive Assertion Methods. IEEE Trans. Software Eng., 6(5):465-479, 1980.

Abstract

Abstract is missing.