Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS.

Todd R. Kushner, Deborah S. Eisenberg

Browse the full SEKE paper archive.