%0 Conference Paper %1 conf/icml/SelsamLD17 %A Selsam, Daniel %A Liang, Percy %A Dill, David L. %B ICML %D 2017 %E Precup, Doina %E Teh, Yee Whye %I PMLR %K dblp %P 3047-3056 %T Developing Bug-Free Machine Learning Systems With Formal Mathematics. %U http://dblp.uni-trier.de/db/conf/icml/icml2017.html#SelsamLD17 %V 70

@inproceedings{conf/icml/SelsamLD17, added-at = {2019-04-03T00:00:00.000+0200}, author = {Selsam, Daniel and Liang, Percy and Dill, David L.}, biburl = {https://www.bibsonomy.org/bibtex/2ddf3bda1a6a9e28f8bf93f1467a2cec9/dblp}, booktitle = {ICML}, crossref = {conf/icml/2017}, editor = {Precup, Doina and Teh, Yee Whye}, ee = {http://proceedings.mlr.press/v70/selsam17a.html}, interhash = {385c221baddb54a1333c39a442ddad69}, intrahash = {ddf3bda1a6a9e28f8bf93f1467a2cec9}, keywords = {dblp}, pages = {3047-3056}, publisher = {PMLR}, series = {Proceedings of Machine Learning Research}, timestamp = {2019-05-30T11:53:39.000+0200}, title = {Developing Bug-Free Machine Learning Systems With Formal Mathematics.}, url = {http://dblp.uni-trier.de/db/conf/icml/icml2017.html#SelsamLD17}, volume = 70, year = 2017 }