A formal basis for a program compilation proof tool

---

Autoria(s): Wildman, L. P.

Data(s)	01/01/2001
Identificador	http://espace.library.uq.edu.au/view/UQ:83960
Publicador	Software Verification Research Cen. Univ of Qld
Palavras-Chave	#280403 Logics and Meanings of Programs #700199 Computer software and services not elsewhere classified #K
Tipo	Research Report