Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004, Revised Lectures - Pernambuco Summer School on Software Engineering 2004 : Recife, Brazil); Cavalcanti, Ana.; Sampaio, Augusto; Woodcock, Jim.; SpringerLink (Online service) (Berlin Heidelberg : Springer-Verlag GmbH., 2006)
Keywords: Software engineering -- Congresses