Verifying Controlled Components.

Steve A. Schneider, Helen Treharne

Browse the full IFM paper archive.