An Exercise in Automatic Program Verification.

Mon, 01 Jan 1979 00:00:00 +0100

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