Incremental Development of Multi-agent Systems in Object-Z.

Graeme Smith, Kirsten Winter

Browse the full SEW paper archive.