Thomas Kleymann

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

1999

2 EE Thomas Kleymann: Hoare Logic and Auxiliary Variables. Formal Asp. Comput. 11(5): 541-566 (1999)

1998

1 EE Thomas Kleymann: Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter? TYPES 1998: 133-148

1999
2	EE	Thomas Kleymann: Hoare Logic and Auxiliary Variables. Formal Asp. Comput. 11(5): 541-566 (1999)
1998
1	EE	Thomas Kleymann: Metatheory of Verification Calculi in LEGO - To what Extent Does Syntax Matter? TYPES 1998: 133-148