%0 Conference Paper %1 conf/flops/McCarthyFNFF16 %A McCarthy, Jay A. %A Fetscher, Burke %A New, Max S. %A Feltey, Daniel %A Findler, Robert Bruce %B FLOPS %D 2016 %E Kiselyov, Oleg %E King, Andy %I Springer %K dblp %P 144-162 %T A Coq Library for Internal Verification of Running-Times. %U http://dblp.uni-trier.de/db/conf/flops/flops2016.html#McCarthyFNFF16 %V 9613 %@ 978-3-319-29603-6

@inproceedings{conf/flops/McCarthyFNFF16, added-at = {2017-05-21T00: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/2d033381ac59328a8401a764481c306da/dblp}, booktitle = {FLOPS}, crossref = {conf/flops/2016}, editor = {Kiselyov, Oleg and King, Andy}, ee = {https://doi.org/10.1007/978-3-319-29604-3_10}, interhash = {f3b5bea8a2517bae732a39654c5965bb}, intrahash = {d033381ac59328a8401a764481c306da}, isbn = {978-3-319-29603-6}, keywords = {dblp}, pages = {144-162}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:11:26.000+0200}, title = {A Coq Library for Internal Verification of Running-Times.}, url = {http://dblp.uni-trier.de/db/conf/flops/flops2016.html#McCarthyFNFF16}, volume = 9613, year = 2016 }