Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures

Ana Cavalcanti Augusto Sampaio Jim Woodcock Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures PSSE Lecture Notes in Computer Science 3167 Springer 2006 978-3-540-46253-8 db/conf/psse/psse2004.html