Todd R. Kushner, Deborah S. Eisenberg. Experience Verifying a Rule-based Program as Part of a Cleanroom Project: AOEXPERT/MVS. In SEKE 93, The 5th International Conference on Software Engineering and Knowledge Engineering, Tutorials, June 14-15, 1993, Technical Program, June 16-18, 1993, Hotel Sofitel, San Francisco Bay, USA. pages 445-452, Knowledge Systems Institute, 1993.
Abstract is missing.