Gerwin Klein

http://www.cse.unsw.edu.au/~kleing/

2016

Finite Machine Word Library
by Joel Beeren, Matthew Fernandez, Xin Gao, Gerwin Klein, Rafal Kolanski, Japheth Lim, Corey Lewis, Daniel Matichuk and Thomas Sewell

09 Jun

2012

Separation Algebra
by Gerwin Klein, Rafal Kolanski and Andrew Boyton

11 May

2005

Jinja is not Java
by Gerwin Klein and Tobias Nipkow

01 Jun