Specification, refinement and verification of concurrent systems: an integration of Object-Z and CSP

---

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

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