%0 Conference Paper %1 conf/aplas/HeR17 %A He, Shaobo %A Rakamaric, Zvonimir %B APLAS %D 2017 %E Chang, Bor-Yuh Evan %I Springer %K dblp %P 534-553 %T Counterexample-Guided Bit-Precision Selection. %U http://dblp.uni-trier.de/db/conf/aplas/aplas2017.html#HeR17 %V 10695 %@ 978-3-319-71237-6

@inproceedings{conf/aplas/HeR17, added-at = {2017-11-20T00:00:00.000+0100}, author = {He, Shaobo and Rakamaric, Zvonimir}, biburl = {https://www.bibsonomy.org/bibtex/2728d5d492165fad45b6be7bf0a81d8bc/dblp}, booktitle = {APLAS}, crossref = {conf/aplas/2017}, editor = {Chang, Bor-Yuh Evan}, ee = {https://doi.org/10.1007/978-3-319-71237-6_26}, interhash = {d2d50376faa1a1dde38cd62355abba41}, intrahash = {728d5d492165fad45b6be7bf0a81d8bc}, isbn = {978-3-319-71237-6}, keywords = {dblp}, pages = {534-553}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T12:42:10.000+0200}, title = {Counterexample-Guided Bit-Precision Selection.}, url = {http://dblp.uni-trier.de/db/conf/aplas/aplas2017.html#HeR17}, volume = 10695, year = 2017 }