Propositional logic for validating software object interrelationships

Patrick O. Bobbie, Joseph E. Urban. Propositional logic for validating software object interrelationships. In Third International Conference on Tools for Artificial Intelligence, TAI '91, San Jose, CA, USA, November 10-13, 1991. pages 48-55, IEEE, 1991. [doi]

Abstract

Abstract is missing.