TY  - BOOK
AU  - Mattei, Martin C
AU  - Electricite De France
TI  - Validation, verification and testing - procedures in the life cycle of knowledge-based systems
PY  - 1992///
CY  - Paris
PB  - EDF
ER  -