Refinement Techniques in Software Engineering - Cavalcanti, Ana; Kanade, Takeo; Sampaio, Augusto; Woodcock, Jim (Springer Berlin Heidelberg, 2006)
Keywords: Information Technology -- Software Engineering