Changing System Interfaces Consistently: A New Refinement Strategy for CSP||B.

Steve A. Schneider, Helen Treharne

Browse the full IFM paper archive.