Scholar
Gerwin Klein
Google Scholar ID: XV9ZVncAAAAJ
Proofcraft and UNSW
formal methods
interactive theorem proving
software verification
semantics of programming languages
Isabelle/HOL
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
8,467
H-index
35
i10-index
80
Publications
20
Co-authors
37
list available
Publications
1 items
The Algebra of Iterative Constructions
2026
Cited
0
Co-authors
6 total
Gernot Heiser
Professor of Computer Science, University of New South Wales
Toby Murray
School of Computing and Information Systems, University of Melbourne
Liam O'Connor
The Australian National University and The University of Edinburgh
Christine Rizkallah
Senior Lecturer at the University of Melbourne
Mark Staples
Data61, CSIRO
Yutaka Nagashima
Institute of Computer Science, the Czech Academy of Sciences
