%0 Conference Paper %1 conf/cav/Carbonneaux0RS17 %A Carbonneaux, Quentin %A Hoffmann, Jan %A Reps, Thomas W. %A Shao, Zhong %B CAV (2) %D 2017 %E Majumdar, Rupak %E Kuncak, Viktor %I Springer %K dblp %P 64-85 %T Automated Resource Analysis with Coq Proof Objects. %U http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#Carbonneaux0RS17 %V 10427 %@ 978-3-319-63390-9

@inproceedings{conf/cav/Carbonneaux0RS17, added-at = {2021-10-14T00:00:00.000+0200}, author = {Carbonneaux, Quentin and Hoffmann, Jan and Reps, Thomas W. and Shao, Zhong}, biburl = {https://www.bibsonomy.org/bibtex/21c8a613a24f556deb2307d4d4fdf75b1/dblp}, booktitle = {CAV (2)}, crossref = {conf/cav/2017-2}, editor = {Majumdar, Rupak and Kuncak, Viktor}, ee = {https://doi.org/10.1007/978-3-319-63390-9_4}, interhash = {80a341c33fcf056cda925c85442e2091}, intrahash = {1c8a613a24f556deb2307d4d4fdf75b1}, isbn = {978-3-319-63390-9}, keywords = {dblp}, pages = {64-85}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T04:26:48.000+0200}, title = {Automated Resource Analysis with Coq Proof Objects.}, url = {http://dblp.uni-trier.de/db/conf/cav/cav2017-2.html#Carbonneaux0RS17}, volume = 10427, year = 2017 }