2010-report.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2010-report.cite -ob 2010-report.bib -c 'year = 2010 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@techreport{conchon10rr,
  author = {Sylvain Conchon and \'Evelyne Contejean and Mohamed Iguernelala},
  title = {{Canonized Rewriting and Ground AC Completion Modulo Shostak Theories}},
  institution = {{LRI, Universit\'e Paris Sud}},
  year = 2010,
  type = {Research Report},
  number = 1538,
  month = dec,
  topics = {team, lri},
  type_publi = {interne},
  type_digiteo = {no},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {rapport},
  x-pdf = {http://www.lri.fr/~bibli/Rapports-internes/2010/RR1538.pdf},
  url = {http://www.lri.fr/~bibli/Rapports-internes/2010/RR1538.pdf},
  abstract = {http://www.lri.fr/~contejea/publis/rr1538/abstract.html}
}

@manual{CoqManualV83,
  author = {{The {Coq} Development Team}},
  title = {{The Coq Proof Assistant Reference Manual -- Version V8.3}},
  year = 2010,
  note = {\url{http://coq.inria.fr}},
  url = {http://coq.inria.fr},
  topics = {team,lri},
  type_publi = {manuel},
  x-equipes = {demons PROVAL EXT},
  x-type = {manuel},
  x-support = {diffusion}
}

@manual{moy10manual,
  title = {Jessie Plugin, Boron version},
  author = {Yannick Moy and Claude March\'e},
  organization = {INRIA},
  year = 2010,
  note = {\url{http://frama-c.com/jessie/jessie-tutorial.pdf}},
  url = {http://frama-c.com/jessie/jessie-tutorial.pdf},
  topics = {team,lri},
  type_publi = {manuel},
  x-equipes = {demons PROVAL},
  x-type = {manuel},
  x-support = {diffusion},
  x-pdf = {http://frama-c.com/jessie/jessie-tutorial.pdf}
}

@techreport{paskevich10rr,
  author = {Andrei Paskevich},
  title = {Algebraic types and pattern matching in the logical language of the {Why} verification platform (version 2)},
  institution = {INRIA},
  year = 2010,
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {article},
  topics = {team},
  hal = {http://hal.inria.fr/inria-00439232/en/},
  note = {\url{http://hal.inria.fr/inria-00439232/en/}},
  number = 7128
}

@techreport{tafat10rr,
  title = {A Refinement Approach for Correct-by-Construction Object-Oriented Programs},
  author = {Asma Tafat and Sylvain Boulm\'e and Claude March\'e},
  institution = {INRIA},
  number = 7310,
  year = 2010,
  x-equipes = {demons PROVAL EXT},
  x-support = {rapport},
  x-type = {article},
  topics = {team},
  hal = {http://hal.inria.fr/inria-00491835/en/}
}

@techreport{bardou10rr,
  author = {Romain Bardou and Claude March\'e},
  title = {Regions and Permissions for Verifying Data Invariants},
  institution = {INRIA},
  year = 2010,
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {article},
  topics = {team},
  hal = {http://hal.inria.fr/inria-00525384/en/},
  note = {\url{http://hal.inria.fr/inria-00525384/en/}},
  type = {Research Report},
  number = 7412
}