Propositional logic for validating software object interrelationships.

Patrick O. Bobbie, Joseph E. Urban

Browse the full ICTAI paper archive.