Structuring Real-Time Object-Z Specifications.

Graeme Smith, Ian J. Hayes

Browse the full IFM paper archive.