Bob J. Wielinga, Hans Akkermans, Guus Schreiber. Validation and Verification of Knowledge Models. In Jesús Cardeñosa, Pedro Meseguer, editors, Proceedings of the European Symposium on the Validation and Verification of Knowledge Based Systems, EUROVAV 93, 24-26 March 1993, Universidad de las Islas Baleares, Palma de Mallorca, Spain. pages 29-50, Universidad Politécnica de Madrid, 1993.
No references recorded for this publication.
No citations of this publication recorded.