Requirements Validation by Lifting Retrenchments in B.

Michael Poppleton, Richard Banach

Browse the full ICECCS paper archive.