Mattei, Martin C

Validation, verification and testing - procedures in the life cycle of knowledge-based systems - Paris EDF 1992 - 18p

007.52 / MAT.92