## Homepages 🌐

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

## E-Mails 📧

- ua.ude.wsnu @gnielk

## Entries

### 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
Jun 09

### 2012

##### Separation Algebra

by Gerwin Klein 📧, Rafal Kolanski 📧 and Andrew Boyton 📧
May 11

### 2005

##### Jinja is not Java

by Gerwin Klein 🌐 and Tobias Nipkow 🌐
Jun 01