Proof of Correctness of Decision Table Programs

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

Authors

Art Lew

This author has not been identified. Look up 'Art Lew' in Google