%0 Conference Paper %1 conf/icci/Khanna90 %A Khanna, Sanjeev %B ICCI %D 1990 %E Akl, Selim G. %E Fiala, Frantisek %E Koczkodaj, Waldemar W. %I Springer %K dblp %P 225-234 %T Logic Programming for Software Testing. %U http://dblp.uni-trier.de/db/conf/icci/icci90.html#Khanna90 %V 468 %@ 3-540-53504-7

@inproceedings{conf/icci/Khanna90, added-at = {2017-05-19T00:00:00.000+0200}, author = {Khanna, Sanjeev}, biburl = {https://www.bibsonomy.org/bibtex/207d108f2b1de475e83cbf8e8ae56caed/dblp}, booktitle = {ICCI}, crossref = {conf/icci/1990}, editor = {Akl, Selim G. and Fiala, Frantisek and Koczkodaj, Waldemar W.}, ee = {https://doi.org/10.1007/3-540-53504-7_79}, interhash = {760cd1e30829640bd65ba4b704536f40}, intrahash = {07d108f2b1de475e83cbf8e8ae56caed}, isbn = {3-540-53504-7}, keywords = {dblp}, pages = {225-234}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T13:22:48.000+0200}, title = {Logic Programming for Software Testing.}, url = {http://dblp.uni-trier.de/db/conf/icci/icci90.html#Khanna90}, volume = 468, year = 1990 }