%0 Conference Paper %1 conf/itp/MaksimovicS15 %A Maksimovic, Petar %A Schmitt, Alan %B ITP %D 2015 %E Urban, Christian %E Zhang, Xingyuan %I Springer %K %P 278-293 %T HOCore in Coq. %U http://dblp.uni-trier.de/db/conf/itp/itp2015.html#MaksimovicS15 %V 9236 %@ 978-3-319-22101-4

@inproceedings{conf/itp/MaksimovicS15, added-at = {2023-12-12T21:36:51.000+0100}, author = {Maksimovic, Petar and Schmitt, Alan}, biburl = {https://www.bibsonomy.org/bibtex/2ca2005df41f0e2a68bc6c0f018edffd7/admin}, booktitle = {ITP}, crossref = {conf/itp/2015}, editor = {Urban, Christian and Zhang, Xingyuan}, ee = {https://doi.org/10.1007/978-3-319-22102-1_19}, interhash = {40cd675ab7b9aa2d095ca5b3105f6db0}, intrahash = {ca2005df41f0e2a68bc6c0f018edffd7}, isbn = {978-3-319-22101-4}, keywords = {}, pages = {278-293}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2023-12-12T21:36:51.000+0100}, title = {HOCore in Coq.}, url = {http://dblp.uni-trier.de/db/conf/itp/itp2015.html#MaksimovicS15}, volume = 9236, year = 2015 }