Giovanna Dondossola
-
Validation and verification of knowledge-based systems: report on EUROVAV99
The Knowledge Engineering Review