TITLE : Validation, verification and integrty issues in expert and database systems AUTHOR(S) : Benchcapon T, Castelli D, Coenen F, Devendvillebrisoux L, Eaglestone B, Fiddian N, Gray A, Ligeza A, Vermesan A TYPE : Journal article YEAR : 1999 CODE : 251523 *** DO NOT EDIT THIS FILE ***