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. (Berlin ; New York : Springer, 2006)
Includes bibliographical references.
Keywords: Software engineering -- Congresses