A predicative semantics for real-time refinement

---

Autoria(s): Hayes, I. J.

Contribuinte(s)	A. McIver C. Morgan
Data(s)	01/01/2003
Identificador	http://espace.library.uq.edu.au/view/UQ:69345
Publicador	Springer Verlag
Palavras-Chave	#280302 Software Engineering #700199 Computer software and services not elsewhere classified #B1
Tipo	Book Chapter