Thomas Kleymann

Hoare logic and VDM : machine-checked soundness and completeness proofs

Thomas Kleymann, Thomas Kleymann, 1998 .

Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter?

Thomas Kleymann, Thomas Kleymann, 1998, TYPES.

Hoare Logic and Auxiliary Variables

Thomas Kleymann, Thomas Kleymann, 1999, Formal Aspects of Computing.