%0 Conference Paper %1 conf/icecsys/NouhF15 %A Nouh, Khaled %A Fahmy, Hossam A. H. %B ICECS %D 2015 %I IEEE %K dblp %P 433-436 %T Binary floating point verification using random test vector generation based on SV constraints. %U http://dblp.uni-trier.de/db/conf/icecsys/icecsys2015.html#NouhF15 %@ 978-1-5090-0246-7

@inproceedings{conf/icecsys/NouhF15, added-at = {2017-05-23T00:00:00.000+0200}, author = {Nouh, Khaled and Fahmy, Hossam A. H.}, biburl = {https://www.bibsonomy.org/bibtex/295149522c1b750fcbbec8af00967618f/dblp}, booktitle = {ICECS}, crossref = {conf/icecsys/2015}, ee = {https://doi.org/10.1109/ICECS.2015.7440341}, interhash = {8fb514a5b2116db9a459ab21f5dbd64b}, intrahash = {95149522c1b750fcbbec8af00967618f}, isbn = {978-1-5090-0246-7}, keywords = {dblp}, pages = {433-436}, publisher = {IEEE}, timestamp = {2019-10-17T19:53:13.000+0200}, title = {Binary floating point verification using random test vector generation based on SV constraints.}, url = {http://dblp.uni-trier.de/db/conf/icecsys/icecsys2015.html#NouhF15}, year = 2015 }