2012-journal.bib

@comment{{This file has been generated by bib2bib 1.98}}

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

@article{conchon12lmcs,
  author = {Sylvain Conchon and \'Evelyne Contejean and Mohamed Iguernelala},
  title = {Canonized Rewriting and Ground {AC} Completion Modulo {Shostak} Theories : Design and Implementation},
  journal = {Logical Methods in Computer Science},
  year = {2012},
  month = sep,
  pages = {1--29},
  volume = 8,
  number = 3,
  hal = {http://hal.inria.fr/hal-00798082},
  url = {http://www.lmcs-online.org/ojs/viewarticle.php?id=1037&layout=abstract&iid=40},
  topics = {team},
  type_publi = {irevcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {revue},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-cle-support = {LMCS},
  doi = {10.2168/LMCS-8(3:16)2012},
  note = {Selected Papers of the Conference \emph{Tools and Algorithms for the Construction and Analysis of Systems} (TACAS 2011), Saarbr{\"u}cken, Germany, 2011}
}

@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},
  hal = {http://hal.inria.fr/hal-00797913},
  topics = {team},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-equipes = {demons PROVAL},
  x-support = {revue},
  x-cle-support = {JIC},
  x-type = {article},
  type_publi = {irevcomlec}
}

@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 = {},
  month = oct,
  doi = {10.1016/j.scico.2012.09.019},
  note = {Accepted for publication.},
  topics = {team},
  x-international-audience = {yes},
  x-editorial-board = {yes},
  x-equipes = {demons PROVAL ext},
  x-support = {revue},
  x-cle-support = {SCP},
  x-type = {article},
  type_publi = {irevcomlec}
}