Using Z to animate Object-Z specifications

---

Autoria(s): McComb, T. J.; Smith, G. P.

Data(s)	01/01/2002
Identificador	http://espace.library.uq.edu.au/view/UQ:84132
Publicador	The University of Queensland
Palavras-Chave	#280302 Software Engineering #700199 Computer software and services not elsewhere classified #K
Tipo	Research Report