Pernambuco Summer School on Software Engineering
PSSE 2004: Recife, Brazil
Ana Cavalcanti, Augusto Sampaio, Jim Woodcock (Eds.):
Refinement Techniques in Software Engineering, First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures.
Lecture Notes in Computer Science 3167 Springer 2006, ISBN 978-3-540-46253-8
Contents 
Copyright © Thu Dec 10 20:14:15 2009
by Michael Ley (ley@uni-trier.de)
