Woodcock, Jim. (Nombre personal)

Machine generated authority record.

Work cat.: (MX-SnUAN)296329: Cavalcanti, Ana. editor. 331317, Refinement Techniques in Software Engineering :