P. Boulitreau-Lefevre, Gilles Kassel. Modelling Validation Seen as a Set of Problem Solving Tasks. In Marc Ayel, Marie-Christine Rousset, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge-Based Systems, EUROVAV 95, Chambéry, June 1995. pages 241-251, ADERIAS-LIA, Universite de Savoie, 1995.
Abstract is missing.