%0 Conference Paper %1 conf/iccd/HoskoteMA95 %A Hoskote, Yatin Vasant %A Moundanos, Dinos %A Abraham, Jacob A. %B ICCD %D 1995 %I IEEE Computer Society %K dblp %P 532-537 %T Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors. %U http://dblp.uni-trier.de/db/conf/iccd/iccd1995.html#HoskoteMA95 %@ 0-8186-7165-3

@inproceedings{conf/iccd/HoskoteMA95, added-at = {2023-03-23T00:00:00.000+0100}, author = {Hoskote, Yatin Vasant and Moundanos, Dinos and Abraham, Jacob A.}, biburl = {https://www.bibsonomy.org/bibtex/2c4f901e020595a69e485069cf80b2231/dblp}, booktitle = {ICCD}, crossref = {conf/iccd/1995}, ee = {https://doi.ieeecomputersociety.org/10.1109/ICCD.1995.528919}, interhash = {c12bb12010bbf4402fc4b2abd4177941}, intrahash = {c4f901e020595a69e485069cf80b2231}, isbn = {0-8186-7165-3}, keywords = {dblp}, pages = {532-537}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T21:58:55.000+0200}, title = {Automatic extraction of the control flow machine and application to evaluating coverage of verification vectors.}, url = {http://dblp.uni-trier.de/db/conf/iccd/iccd1995.html#HoskoteMA95}, year = 1995 }