Compilation of specifications

---

Autoria(s): Fidge, C. J.

Data(s)	01/01/2001
Identificador	http://espace.library.uq.edu.au/view/UQ:83882
Publicador	Software Verification Research Centre, University of Queensland
Palavras-Chave	#280301 Programming Techniques #700199 Computer software and services not elsewhere classified #K
Tipo	Research Report