Model checking with abstract types

---

Autoria(s): Winter, Kirsten

Data(s)	01/01/2001
Identificador	http://espace.library.uq.edu.au/view/UQ:83878
Idioma(s)	eng
Publicador	Software Verification Research Centre
Palavras-Chave	#700199 Computer software and services not elsewhere classified #K #080309 Software Engineering #080399 Computer Software not elsewhere classified
Tipo	Research Report