%0 Journal Article %1 journals/ac/MenziesP05 %A Menzies, Tim %A Pecheur, Charles %D 2005 %J Advances in Computers %K Artificial Intelligence Validation Verification %P 154-203 %T Verification and Validation and Artificial Intelligence. %U http://dblp.uni-trier.de/db/journals/ac/ac65.html#MenziesP05 %V 65

@article{journals/ac/MenziesP05, added-at = {2013-06-06T08:56:57.000+0200}, author = {Menzies, Tim and Pecheur, Charles}, biburl = {https://www.bibsonomy.org/bibtex/261b665fe120d2a91059074437ac40daf/ctorens}, ee = {http://dx.doi.org/10.1016/S0065-2458(05)65004-8}, interhash = {4cadc61325d50ffae7f32a69d6a2635c}, intrahash = {61b665fe120d2a91059074437ac40daf}, journal = {Advances in Computers}, keywords = {Artificial Intelligence Validation Verification}, pages = {154-203}, timestamp = {2013-06-06T08:56:57.000+0200}, title = {Verification and Validation and Artificial Intelligence.}, url = {http://dblp.uni-trier.de/db/journals/ac/ac65.html#MenziesP05}, volume = 65, year = 2005 }