Verifying program transformations using partial correctness semantics

---

Autoria(s): Fidge, C. J.; Lermer, K. R. C.; Watson, G. N.

Data(s)	01/01/2002
Identificador	http://espace.library.uq.edu.au/view/UQ:84131
Publicador	The University of Queensland
Palavras-Chave	#280302 Software Engineering #700199 Computer software and services not elsewhere classified #K
Tipo	Research Report