2008-report.bib

@comment{{This file has been generated by bib2bib 1.97pl2}}
@comment{{Command line: bib2bib -oc 2008-report.cite -ob 2008-report.bib -c 'year = 2008 and topics : "team" and ($type="techreport" or $type="manual" or $type="mastersthesis")' /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}}
@mastersthesis{beauquier08master,
  author = {Maxime Beauquier},
  title = {Application du filtrage modulo associativit\'e et commutativit\'e ({AC}) \`a la r\'e\'ecriture de sous-termes modulo {AC} dans {Coq}},
  school = {Master Parisien de Recherche en Informatique},
  topics = {team},
  type_publi = {rapport},
  type_digiteo = {no},
  year = 2008,
  x-equipes = {demons PROVAL},
  x-type = {master},
  x-support = {rapport}
}
@mastersthesis{bobot08master,
  author = {Fran\c{c}ois Bobot},
  title = {Satisfiabilit\'e de formules closes modulo une th\'eorie avec \'egalit\'e
et pr\'edicats},
  school = {Master Parisien de Recherche en Informatique},
  topics = {team},
  type_publi = {rapport},
  type_digiteo = {no},
  year = 2008,
  x-equipes = {demons PROVAL},
  x-type = {master},
  x-support = {rapport}
}
@mastersthesis{gay08master,
  author = {Steven Gay},
  title = {Analyse d'\'echappement de port\'ee en {ReactiveML}},
  school = {Master Parisien de Recherche en Informatique},
  topics = {team},
  type_publi = {rapport},
  type_digiteo = {no},
  year = 2008,
  x-equipes = {demons PROVAL},
  x-type = {master},
  x-support = {rapport}
}
@manual{baudin08acsl,
  title = {ACSL: ANSI/ISO C Specification Language},
  author = {Patrick Baudin  and Jean-Christophe Filli\^atre and Claude March\'e and Benjamin Monate and Yannick Moy and Virgile Prevosto},
  year = 2008,
  note = {\url{http://frama-c.cea.fr/acsl.html}},
  url = {http://frama-c.cea.fr/acsl.html},
  x-pdf = {http://frama-c.cea.fr/download/acsl_1.4.pdf},
  topics = {team},
  x-equipes = {demons PROVAL EXT},
  x-type = {contrat},
  x-support = {rapport}
}
@manual{CoqManualV82,
  author = {{The {Coq} Development Team}},
  title = {{The Coq Proof Assistant Reference Manual -- Version V8.2}},
  year = 2008,
  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{CoqSetoidV82,
  author = {Matthieu Sozeau},
  note = {Chapter of {The Coq Proof Assistant Reference Manual -- Version V8.2}},
  title = {User defined equalities and relations},
  institution = {INRIA},
  year = 2008,
  topics = {team,lri},
  type_publi = {manuel},
  x-equipes = {demons PROVAL},
  x-type = {manuel},
  x-support = {diffusion}
}
@manual{CoqProgramV82,
  author = {Matthieu Sozeau},
  note = {Chapter of {The Coq Proof Assistant Reference Manual -- Version V8.2}, \url{http://coq.inria.fr/}},
  title = {Program},
  url = {http://coq.inria.fr/},
  year = 2008,
  topics = {team,lri},
  type_publi = {manuel},
  x-equipes = {demons PROVAL},
  x-type = {manuel},
  x-support = {diffusion}
}
@manual{CoqTypeClassesV82,
  author = {Matthieu Sozeau},
  title = {Type Classes},
  note = {Chapter of {The Coq Proof Assistant Reference Manual -- Version V8.2}},
  organization = {INRIA},
  year = 2008,
  topics = {team,lri},
  type_publi = {manuel},
  x-equipes = {demons PROVAL},
  x-type = {manuel},
  x-support = {diffusion}
}
@manual{moy08manual,
  title = {Jessie Plugin Tutorial, \emph{Lithium} version},
  author = {Yannick Moy and Claude March\'e},
  organization = {INRIA},
  year = 2008,
  note = {\url{http://www.frama-c.cea.fr/jessie.html}},
  url = {http://www.frama-c.cea.fr/jessie.html},
  topics = {team,lri},
  type_publi = {manuel},
  x-equipes = {demons PROVAL},
  x-type = {manuel},
  x-support = {diffusion},
  x-pdf = {http://www.frama-c.cea.fr/jessie/main.pdf}
}
@techreport{couchot08report,
  author = {Jean-Fran\c{c}ois Couchot and Alain Giorgetti and Nicolas Stouls},
  title = {{Graph-based Reduction of Program Verification Conditions}},
  institution = {INRIA Saclay -- \^Ile-de-France},
  year = {2008},
  type = {Research Report},
  number = {6702},
  month = oct,
  hal = {http://hal.inria.fr/inria-00339847/en/},
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {rapport}
}
@techreport{contejean08rr,
  author = {\'Evelyne Contejean and Julien Forest and Xavier Urbain},
  title = {{Deep-Embedded Unification}},
  institution = {C\'edric laboratory, CNAM Paris, France},
  year = {2008},
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {article},
  topics = {team},
  type = {Research Report},
  number = {1547},
  topics = {team}
}