Refinement Techniques in Software Engineering First Pernambuco Summer School on Software Engineering, PSSE 2004, Recife, Brazil, November 23-December 5, 2004 Revised Lectures - Cavalcanti, Ana.; Sampaio, Augusto; Woodcock, Jim.; SpringerLink (Online service) (Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006)
Keywords: Computer science; Software engineering; Information Systems; Computer Science; Software Engineering; Programming Techniques; Programming Languages, Compilers, Interpreters; Management of Computing and Information Systems