Refining object-orientated invariants and dynamic constraints

---

Autoria(s): Shield, J.; Hayes, I. J.

Contribuinte(s)	P. Strooper P. Muenchaisri
Data(s)	01/01/2002
Identificador	http://espace.library.uq.edu.au/view/UQ:96934
Idioma(s)	eng
Publicador	IEEE Computer Society
Palavras-Chave	#E1 #280303 Programming Languages #700199 Computer software and services not elsewhere classified
Tipo	Conference Paper