%0 Journal Article %1 journals/stvr/VermesanB95 %A Vermesan, Anca I. %A Bench-Capon, Trevor J. M. %D 1995 %J Softw. Test. Verification Reliab. %K dblp %N 4 %P 233-271 %T Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction. %U http://dblp.uni-trier.de/db/journals/stvr/stvr5.html#VermesanB95 %V 5

@article{journals/stvr/VermesanB95, added-at = {2020-04-01T00:00:00.000+0200}, author = {Vermesan, Anca I. and Bench-Capon, Trevor J. M.}, biburl = {https://www.bibsonomy.org/bibtex/2a1cf59243993aa3d7172f1091abcb9b5/dblp}, ee = {https://www.wikidata.org/entity/Q58168694}, interhash = {ff08dcd966decf1c47797008615d7c57}, intrahash = {a1cf59243993aa3d7172f1091abcb9b5}, journal = {Softw. Test. Verification Reliab.}, keywords = {dblp}, number = 4, pages = {233-271}, timestamp = {2020-04-02T12:07:17.000+0200}, title = {Techniques for the Verification and Validation of Knowledge-based Systems: A Survey Based on the Symbol/Knowledge Level Distinction.}, url = {http://dblp.uni-trier.de/db/journals/stvr/stvr5.html#VermesanB95}, volume = 5, year = 1995 }