A survey of tools for the validation and verification of knowledge-based systems: 1985–1995

Authors: Murrell, Stephen; T. Plant, Robert

Journal: Decision Support Systems (1997)

DOI: 10.1016/s0167-9236(97)00047-x