Florence Dupin de Saint-Cyr;Stéphane Loiseau
-;-
Validation and verification of knowledge-based systems: report on EUROVAV99
The Knowledge Engineering Review