%0 Conference Paper %1 conf/cade/HabliF13 %A Habli, Nada %A Felty, Amy P. %B PxTP@CADE %D 2013 %E Blanchette, Jasmin Christian %E Urban, Josef %I EasyChair %K dblp %P 67-76 %T Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs. %U http://dblp.uni-trier.de/db/conf/cade/pxtp2013.html#HabliF13 %V 14

@inproceedings{conf/cade/HabliF13, added-at = {2021-08-15T00:00:00.000+0200}, author = {Habli, Nada and Felty, Amy P.}, biburl = {https://www.bibsonomy.org/bibtex/29fdfbafdc57f12c71c6cc7ae878e47ae/dblp}, booktitle = {PxTP@CADE}, crossref = {conf/cade/2013pxtp}, editor = {Blanchette, Jasmin Christian and Urban, Josef}, ee = {https://doi.org/10.29007/jqtz}, interhash = {debbdc0f53dc0eef2bd49037332926a5}, intrahash = {9fdfbafdc57f12c71c6cc7ae878e47ae}, keywords = {dblp}, pages = {67-76}, publisher = {EasyChair}, series = {EPiC Series in Computing}, timestamp = {2024-04-09T18:54:49.000+0200}, title = {Translating Higher-Order Specifications to Coq Libraries Supporting Hybrid Proofs.}, url = {http://dblp.uni-trier.de/db/conf/cade/pxtp2013.html#HabliF13}, volume = 14, year = 2013 }