Statistics
Publications
1
Citations
73
H-Index
1
Active since
1999
Affiliations
University of Edinburgh(Current)
Thomas Kleymann is an author at University of Edinburgh.
Publications per year
1999–1999
1
1
Hoare Logic and Auxiliary Variables
Thomas Kleymann · Formal Aspects of Computing · 1999 · 73 citations · Full text
1–1 of 1