Program Verification Based on Denotational Semantics.

Thu, 01 Jan 1981 00:00:00 +0100

Wolfgang Polak:
Program Verification Based on Denotational Semantics. POPL 1981: 149-158