Integrated Formal Methods

---

Autoria(s): Springer-Verlag

Contribuinte(s)	J. Romijn G. P. Smith J. van de Pol
Data(s)	01/01/2005
Identificador	http://espace.library.uq.edu.au/view/UQ:107967
Idioma(s)	eng
Publicador	Springer-Verlag
Palavras-Chave	#E4 #280302 Software Engineering #700199 Computer software and services not elsewhere classified
Tipo	Conference Proceedings