Model checking Object-Z classes: Some experiments with FDR

---

Autoria(s): Kassel, G. D.; Smith, G. P.

Data(s)	01/01/2001
Identificador	http://espace.library.uq.edu.au/view/UQ:83914
Publicador	Software Verification Research Cen. Univ of Qld
Palavras-Chave	#280302 Software Engineering #700100 Computer Software and Services #K
Tipo	Research Report