%0 Journal Article %1 journals/ker/CoenenBBDEGGLLOSSVVW00 %A Coenen, Frans %A Bench-Capon, Trevor J. M. %A Boswell, Robin %A Dibie-Barthélemy, Juliette %A Eaglestone, Barry %A Gerrits, Rik %A Grégoire, Éric %A Ligeza, Antoni %A Laita, Luis M. %A Owoc, Mieczyslaw L. %A Sellini, Florence %A Spreeuwenberg, Silvie %A Vanthienen, Jan %A Vermesan, Anca I. %A Wiratunga, Nirmalie %D 2000 %J Knowl. Eng. Rev. %K dblp %N 2 %P 187-196 %T Validation and verification of knowledge-based systems: report on EUROVAV99. %U http://dblp.uni-trier.de/db/journals/ker/ker15.html#CoenenBBDEGGLLOSSVVW00 %V 15

@article{journals/ker/CoenenBBDEGGLLOSSVVW00, added-at = {2024-05-07T00:00:00.000+0200}, author = {Coenen, Frans and Bench-Capon, Trevor J. M. and Boswell, Robin and Dibie-Barthélemy, Juliette and Eaglestone, Barry and Gerrits, Rik and Grégoire, Éric and Ligeza, Antoni and Laita, Luis M. and Owoc, Mieczyslaw L. and Sellini, Florence and Spreeuwenberg, Silvie and Vanthienen, Jan and Vermesan, Anca I. and Wiratunga, Nirmalie}, biburl = {https://www.bibsonomy.org/bibtex/274284256ee8ae9dc71f02eb2b7707b57/dblp}, ee = {https://www.wikidata.org/entity/Q57770390}, interhash = {345268bb57c370e0bec90d8834594b09}, intrahash = {74284256ee8ae9dc71f02eb2b7707b57}, journal = {Knowl. Eng. Rev.}, keywords = {dblp}, number = 2, pages = {187-196}, timestamp = {2024-05-13T07:08:08.000+0200}, title = {Validation and verification of knowledge-based systems: report on EUROVAV99.}, url = {http://dblp.uni-trier.de/db/journals/ker/ker15.html#CoenenBBDEGGLLOSSVVW00}, volume = 15, year = 2000 }