%0 Journal Article %1 journals/scp/McCarthyFNFF18 %A McCarthy, Jay A. %A Fetscher, Burke %A New, Max S. %A Feltey, Daniel %A Findler, Robert Bruce %D 2018 %J Sci. Comput. Program. %K dblp %P 49-65 %T A Coq library for internal verification of running-times. %U http://dblp.uni-trier.de/db/journals/scp/scp164.html#McCarthyFNFF18 %V 164

@article{journals/scp/McCarthyFNFF18, added-at = {2018-09-18T00:00:00.000+0200}, author = {McCarthy, Jay A. and Fetscher, Burke and New, Max S. and Feltey, Daniel and Findler, Robert Bruce}, biburl = {https://www.bibsonomy.org/bibtex/254fbf15acc741b343a12f159e5fa8b33/dblp}, ee = {https://doi.org/10.1016/j.scico.2017.05.001}, interhash = {5b0ea9a2f78b323bfd6622055c78ce95}, intrahash = {54fbf15acc741b343a12f159e5fa8b33}, journal = {Sci. Comput. Program.}, keywords = {dblp}, pages = {49-65}, timestamp = {2018-09-19T11:36:36.000+0200}, title = {A Coq library for internal verification of running-times.}, url = {http://dblp.uni-trier.de/db/journals/scp/scp164.html#McCarthyFNFF18}, volume = 164, year = 2018 }