Animation of Object-Z Specifications Using a Z Animator.

Tim McComb, Graeme Smith

Browse the full SEFM paper archive.