G. Kassel

Model checking Object-Z classes: Some experiments with FDR

Graeme Smith, Geoff Kassel, Graeme Smith, 2001, Proceedings Eighth Asia-Pacific Software Engineering Conference.