A Formal Library for Elliptic Curves in the Coq Proof Assistant (bibtex)
by Evmorfia-Iro Bartzia, Pierre-Yves Strub
Reference:
A Formal Library for Elliptic Curves in the Coq Proof Assistant (Evmorfia-Iro Bartzia, Pierre-Yves Strub), In Interactive Theorem Proving (ITP), 2014.
Bibtex Entry:
@inproceedings{DBLP:conf/itp/BartziaS14,
  author    = {Evmorfia-Iro Bartzia and
               Pierre-Yves Strub},
  title     = {A Formal Library for Elliptic Curves in the Coq Proof Assistant},
  booktitle = {Interactive Theorem Proving (ITP)},
  year      = {2014},
  pages     = {77-92},
}
Powered by bibtexbrowser