Mattei, Martin C Validation, verification and testing - procedures in the life cycle of knowledge-based systems - Paris EDF 1992 - 18p Universal Decimal Class. No.: 007.52 / MAT.92