Proof of Correctness of Decision Table Programs

Art Lew. Proof of Correctness of Decision Table Programs. Comput. J., 27(3):230-237, 1984.

Abstract

Abstract is missing.