Robert Hum. Plenary Speech 1P2: Bounding the Endless Verification Loop. In 9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA. pages 16-17, IEEE Computer Society, 2008. [doi]
@inproceedings{Hum08,
title = {Plenary Speech 1P2: Bounding the Endless Verification Loop},
author = {Robert Hum},
year = {2008},
doi = {10.1109/ISQED.2008.182},
url = {http://doi.ieeecomputersociety.org/10.1109/ISQED.2008.182},
researchr = {https://researchr.org/publication/Hum08},
cites = {0},
citedby = {0},
pages = {16-17},
booktitle = {9th International Symposium on Quality of Electronic Design (ISQED 2008), 17-19 March 2008, San Jose, CA, USA},
publisher = {IEEE Computer Society},
isbn = {978-0-7695-3117-5},
}