Encoding Object-Z in Isabelle/HOL

---

Autoria(s): Smith, G. P.; Kammuller, F.; Santen, T.

Contribuinte(s)	D. Bert J. P. Bowen M. C. Henson K. Robinson
Data(s)	01/01/2002
Identificador	http://espace.library.uq.edu.au/view/UQ:97102/Encoding_object-z_in_isabelle.pdf http://espace.library.uq.edu.au/view/UQ:97102
Idioma(s)	eng
Publicador	Springer-Verlag
Palavras-Chave	#E1 #280302 Software Engineering #700100 Computer Software and Services
Tipo	Conference Paper