TY  - BOOK
AU  - Smith, Suzanne
AU  - Kandel, Abraham
TI  - Verification and validation of rule-based expert systems
SN  - 084938902X
SN  - 93001553
U1  - 006.33 SMI 
PY  - 1993///
CY  - Boca Raton, FL
PB  - CRC Press
KW  - Computer software - Validation
KW  - Computer software - Verification
KW  - Expert systems (Computer science)
N1  - Includes bibliographical references (p. 193-198) and index
ER  -