inttalks_en.bib

@misc{affeldt2014coq,
  author = {Reynald Affeldt and Jacques Garrigue},
  title = {Formalization of Error-correcting Codes using {SSReflect}},
  howpublished = {The 6th Coq Workshop, Vienna, Austria, July 7, 2014},
  month = {Jul},
  year = {2014},
  abstract = {\href{https://staff.aist.go.jp/reynald.affeldt/ecc/}{project page}}
}
@misc{affeldt2013coq,
  author = {Reynald Affeldt and Kazuhiko Sakaguchi},
  title = {First Building Blocks for Implementations of Security Protocols Verified in {Coq}},
  howpublished = {The 5th Coq Workshop, Rennes, France, July 22, 2013},
  month = {Jul},
  year = {2013},
  abstract = {\href{https://staff.aist.go.jp/reynald.affeldt/seplog/}{project page}}
}

This file was generated by bibtex2html 1.98.