Model checking object-Z using ASM

---

Autoria(s): Winter, K.; Duke, R. W.

Contribuinte(s)	M. Butler L. Petre K. Sere
Data(s)	01/01/2002
Identificador	http://espace.library.uq.edu.au/view/UQ:97110/Model_checking_object-z_using_asm.pdf http://espace.library.uq.edu.au/view/UQ:97110
Idioma(s)	eng
Publicador	Springer-Verlag
Palavras-Chave	#E1 #280302 Software Engineering #700199 Computer software and services not elsewhere classified
Tipo	Conference Paper