VERIFICATION -- Verification and Validation of Rule Based Programs

Abstract