An Exercise in Automatic Program Verification

Wolfgang Polak. An Exercise in Automatic Program Verification. IEEE Trans. Software Eng., 5(5):453-458, 1979.

Abstract

Abstract is missing.