Cover Image
Read Now

1
Published 2018
Springer International Publishing
“... on the Duration Calculus (joint with Michael Hansen) made a seminal contribution to specifying and reasoning about...”
Cover Image
Read Now

2
Published 2013
ANU E Press
Table of Contents: “... engagement / Adrienne Gillam, Ian Mackie and Michael Hansen -- Part IV. Case studies: fostering community...”