Authors: PREECE AD TALBOT S VIGNOLLET L

Citation: Ad. Preece et al., EVALUATION OF VERIFICATION TOOLS FOR KNOWLEDGE-BASED SYSTEMS, International journal of human-computer studies, 47(5), 1997, pp. 629-658