An introduction to real-time Object-Z

---

Autoria(s): Smith, G. P.; Hayes, I. J.

Data(s)	01/01/2002
Identificador	http://espace.library.uq.edu.au/view/UQ:62162
Publicador	Springer-Verlag
Palavras-Chave	#C1 #280302 Software Engineering #700100 Computer Software and Services
Tipo	Journal Article