Verification and Validation of a Knowledge-based System. - Jean-Marc Desharnais; Alain Abran; André Mayers; Julien Vilz; François Gruselin (Künstliche Intell., 2004)