Model Checking Object-Z Classes: Some Experiments with FDR.

Geoff Kassel, Graeme Smith

Browse the full APSEC paper archive.