TY  - BOOK
AU  - Cavalcanti,Ana
AU  - Sampaio,Augusto
AU  - Woodcock,Jim
ED  - Pernambuco Summer School on Software Engineering
ED  - SpringerLink (Online service)
TI  - Refinement Techniques in Software Engineering: First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures 
SN  - 9783540462545 (electronic bk.)
AV  - QA76.758 .P47 2004
U1  - 005.1 22
PY  - 2006///
CY  - Berlin Heidelberg
PB  - Springer-Verlag GmbH.
KW  - Software engineering
KW  - Congresses
UR  - https://eresourcesptsl.ukm.remotexs.co/user/login?url=http://dx.doi.org/10.1007/11889229
ER  -