%0 Conference Paper %1 conf/sas/YinCL0C19 %A Yin, Banghu %A Chen, Liqian %A Liu, Jiangchao %A Wang, Ji %A Cousot, Patrick %B SAS %D 2019 %E Chang, Bor-Yuh Evan %I Springer %K dblp %P 247-267 %T Verifying Numerical Programs via Iterative Abstract Testing. %U http://dblp.uni-trier.de/db/conf/sas/sas2019.html#YinCL0C19 %V 11822 %@ 978-3-030-32304-2

@inproceedings{conf/sas/YinCL0C19, added-at = {2019-10-07T00:00:00.000+0200}, author = {Yin, Banghu and Chen, Liqian and Liu, Jiangchao and Wang, Ji and Cousot, Patrick}, biburl = {https://www.bibsonomy.org/bibtex/2a9cfc138985dde204c1bdcd41f14a6dd/dblp}, booktitle = {SAS}, crossref = {conf/sas/2019}, editor = {Chang, Bor-Yuh Evan}, ee = {https://doi.org/10.1007/978-3-030-32304-2_13}, interhash = {6c9acbdbdab63fe4e65c506eba6fe321}, intrahash = {a9cfc138985dde204c1bdcd41f14a6dd}, isbn = {978-3-030-32304-2}, keywords = {dblp}, pages = {247-267}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-08T11:38:17.000+0200}, title = {Verifying Numerical Programs via Iterative Abstract Testing.}, url = {http://dblp.uni-trier.de/db/conf/sas/sas2019.html#YinCL0C19}, volume = 11822, year = 2019 }