Validation and Verification of Knowledge-Based Systems: Report on EUROVAV99

Knowledge Engineering Review - United Kingdom
doi 10.1017/s0269888900002010