@inproceedings{DBLP:conf/itp/BartziaS14,
  author = {Evmorfia{-}Iro Bartzia and Pierre{-}Yves Strub},
  bibsource = {dblp computer science bibliography, https://dblp.org},
  biburl = {https://dblp.org/rec/conf/itp/BartziaS14.bib},
  booktitle = {Interactive Theorem Proving - 5th International
Conference, {ITP} 2014, Held as Part of the Vienna
Summer of Logic, {VSL} 2014, Vienna, Austria, July
14-17, 2014. Proceedings},
  doi = {10.1007/978-3-319-08970-6\_6},
  editor = {Gerwin Klein and Ruben Gamboa},
  isbn = {978-3-319-08969-0},
  pages = {77--92},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  timestamp = {Tue, 14 May 2019 10:00:37 +0200},
  title = {A Formal Library for Elliptic Curves in the Coq Proof
Assistant},
  url = {https://doi.org/10.1007/978-3-319-08970-6\_6},
  volume = {8558},
  year = {2014}
}

{"_id":"8ZbrRzbdSaZ3w2fjX","bibbaseid":"bartzia-strub-aformallibraryforellipticcurvesinthecoqproofassistant-2014","downloads":0,"creationDate":"2016-06-21T10:07:36.385Z","title":"A Formal Library for Elliptic Curves in the Coq Proof Assistant","author_short":["Bartzia, E.","Strub, P."],"year":2014,"bibtype":"inproceedings","biburl":"http://www.strub.nu/biblio/strub.bib","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Evmorfia-Iro"],"propositions":[],"lastnames":["Bartzia"],"suffixes":[]},{"firstnames":["Pierre-Yves"],"propositions":[],"lastnames":["Strub"],"suffixes":[]}],"bibsource":"dblp computer science bibliography, https://dblp.org","biburl":"https://dblp.org/rec/conf/itp/BartziaS14.bib","booktitle":"Interactive Theorem Proving - 5th International Conference, ITP 2014, Held as Part of the Vienna Summer of Logic, VSL 2014, Vienna, Austria, July 14-17, 2014. Proceedings","doi":"10.1007/978-3-319-08970-6_6","editor":[{"firstnames":["Gerwin"],"propositions":[],"lastnames":["Klein"],"suffixes":[]},{"firstnames":["Ruben"],"propositions":[],"lastnames":["Gamboa"],"suffixes":[]}],"isbn":"978-3-319-08969-0","pages":"77–92","publisher":"Springer","series":"Lecture Notes in Computer Science","timestamp":"Tue, 14 May 2019 10:00:37 +0200","title":"A Formal Library for Elliptic Curves in the Coq Proof Assistant","url":"https://doi.org/10.1007/978-3-319-08970-6\\_6","volume":"8558","year":"2014","bibtex":"@inproceedings{DBLP:conf/itp/BartziaS14,\n author = {Evmorfia{-}Iro Bartzia and Pierre{-}Yves Strub},\n bibsource = {dblp computer science bibliography, https://dblp.org},\n biburl = {https://dblp.org/rec/conf/itp/BartziaS14.bib},\n booktitle = {Interactive Theorem Proving - 5th International\nConference, {ITP} 2014, Held as Part of the Vienna\nSummer of Logic, {VSL} 2014, Vienna, Austria, July\n14-17, 2014. Proceedings},\n doi = {10.1007/978-3-319-08970-6\\_6},\n editor = {Gerwin Klein and Ruben Gamboa},\n isbn = {978-3-319-08969-0},\n pages = {77--92},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n timestamp = {Tue, 14 May 2019 10:00:37 +0200},\n title = {A Formal Library for Elliptic Curves in the Coq Proof\nAssistant},\n url = {https://doi.org/10.1007/978-3-319-08970-6\\_6},\n volume = {8558},\n year = {2014}\n}\n\n","author_short":["Bartzia, E.","Strub, P."],"editor_short":["Klein, G.","Gamboa, R."],"key":"DBLP:conf/itp/BartziaS14","id":"DBLP:conf/itp/BartziaS14","bibbaseid":"bartzia-strub-aformallibraryforellipticcurvesinthecoqproofassistant-2014","role":"author","urls":{"Paper":"https://doi.org/10.1007/978-3-319-08970-6\\_6"},"metadata":{"authorlinks":{"strub, p":"https://www.strub.nu/"}},"downloads":0,"html":""},"search_terms":["formal","library","elliptic","curves","coq","proof","assistant","bartzia","strub"],"keywords":[],"authorIDs":["EC8a7TQ86pYAoBS7y"],"dataSources":["q4vBTsWpxooqz6FoB"]}