2012-journal.bib

@comment{{This file has been generated by bib2bib 1.97pl2}}

@comment{{Command line: bib2bib -oc 2012-journal.cite -ob 2012-journal.bib -c 'year = 2012 and topics : "team" and $type="article"' /users/demons/filliatr/bibliodemons/abbrevs.bib /users/demons/filliatr/bibliodemons/demons.bib /users/demons/filliatr/bibliodemons/demons2.bib /users/demons/filliatr/bibliodemons/demons3.bib /users/demons/filliatr/bibliodemons/team.bib /users/demons/filliatr/bibliodemons/crossrefs.bib}}

@article{MelNowZim12,
  hal = {http://hal.inria.fr/hal-00644166/en/},
  title = {Numerical Approximation of the {M}asser-{G}ramain Constant to Four Decimal Digits: delta=1.819\ldots},
  author = {Guillaume Melquiond and Werner Georg Nowak and Paul Zimmermann},
  publisher = {AMS},
  journal = {Mathematics of Computation},
  year = {2012},
  topics = {team},
  type_publi = {irevcomlec}
}

@article{melquiond12,
  author = {Guillaume Melquiond},
  title = {Floating-point arithmetic in the {C}oq system},
  journal = {Information and Computation},
  volume = {216},
  pages = {14--23},
  year = {2012},
  doi = {10.1016/j.ic.2011.09.005},
  topics = {team},
  type_publi = {irevcomlec}
}

@article{boldo12jar,
  author = {Sylvie Boldo and Fran\c{c}ois Cl\'ement and Jean-Christophe Filli\^atre and Micaela Mayero and Guillaume Melquiond and Pierre Weis},
  title = {{Wave Equation Numerical Resolution:
  a Comprehensive Mechanized Proof of a C Program}},
  journal = {Journal of Automated Reasoning},
  year = {2012},
  optvolume = {},
  optnumber = {},
  optpages = {},
  optmonth = {},
  note = {Accepted for publication. \url{http://hal.inria.fr/hal-00649240/en/}},
  hal = {http://hal.inria.fr/hal-00649240/en/},
  topics = {team}
}

@article{CAOVerif,
  author = {Jos\'e Bacelar Almeida and Manuel Barbosa and
Jean-Christophe Filli{\^a}tre and Jorge Sousa Pinto and B{\'a}rbara Vieira},
  title = {{CAOVerif: An Open-Source Deductive Verification Platform for Cryptographic Software Implementations}},
  journal = {Science of Computer Programming},
  year = {2012},
  optvolume = {},
  optnumber = {},
  optpages = {},
  optmonth = {},
  note = {Accepted for publication.},
  topics = {team},
  type_publi = {irevcomlec}
}