Anca I. Vermesan, Frans Coenen, editors, Validation and Verification of Knowledge Based Systems - Theory, Tools and Practice, Collected papers from EUROVAV 99, 5th European Symposium on Validation and Verification of Knowledge Based Systems,June 9-11, 199, Oslo, Norway. Kluwer, 1999.
Conference: eurovav1999