Diary Entry: 2012-01-03 00:00:00 - 2012-01-03 00:00:00

The new year begins with Liam submitting his P.h.D Thesis on "Structured Specification with Processes and Data: Theory, Tools and Applications" to the examiners.