Hannes Lau

According to our database, Hannes Lau authored at least 1 paper in 2011.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2011

Java Goes TLA+.

Hannes Lau, Uwe Nestmann

Proceedings of the 5th IEEE International Symposium on Theoretical Aspects of Software Engineering, 2011