Specification-based retrieval strategies for module reuse

---

Autoria(s): Hemer, D. G.; Lindsay, P. A.

Data(s)	01/01/2001
Identificador	http://espace.library.uq.edu.au/view/UQ:83884
Publicador	Software Verification Research Cen. Univ of Qld
Palavras-Chave	#280402 Mathematical Logic and Formal Languages #700199 Computer software and services not elsewhere classified #K
Tipo	Research Report