%0 Conference Paper %1 conf/vstte/DorreK15 %A Dörre, Felix %A Klebanov, Vladimir %B VSTTE %D 2015 %E Gurfinkel, Arie %E Seshia, Sanjit A. %I Springer %K %P 61-72 %T Pseudo-Random Number Generator Verification: A Case Study. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2015.html#DorreK15 %V 9593 %@ 978-3-319-29612-8

@inproceedings{conf/vstte/DorreK15, added-at = {2023-12-13T05:12:10.000+0100}, author = {Dörre, Felix and Klebanov, Vladimir}, biburl = {https://www.bibsonomy.org/bibtex/26c50293bc13cac07573bd25c87cf29ce/admin}, booktitle = {VSTTE}, crossref = {conf/vstte/2015}, editor = {Gurfinkel, Arie and Seshia, Sanjit A.}, ee = {https://doi.org/10.1007/978-3-319-29613-5_4}, interhash = {9fac248c47a07df57386b881e9887bb6}, intrahash = {6c50293bc13cac07573bd25c87cf29ce}, isbn = {978-3-319-29612-8}, keywords = {}, pages = {61-72}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-13T05:12:10.000+0100}, title = {Pseudo-Random Number Generator Verification: A Case Study.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2015.html#DorreK15}, volume = 9593, year = 2015 }