Program Verification Based on Denotational Semantics.

Wolfgang Polak

Browse the full POPL paper archive.