2015-report.bib

@comment{{This file has been generated by bib2bib 1.98}}
@comment{{Command line: /usr/bin/bib2bib -q -oc 2015-report.cite -ob 2015-report.bib -c 'year = 2015 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}}
@manual{why3manual0861,
  title = {The Why3 platform, version 0.86.1},
  author = {Fran\c{c}ois Bobot and Jean-Christophe Filli\^atre and
Claude March\'e and Guillaume Melquiond and Andrei Paskevich},
  organization = {LRI, CNRS \& Univ. Paris-Sud \& INRIA Saclay},
  edition = {version 0.86.1},
  month = may,
  year = 2015,
  topics = {team},
  x-type = {diffusion},
  x-support = {manuel},
  x-equipes = {demons TOCCATA},
  pdf = {http://why3.lri.fr/download/manual-0.86.1.pdf},
  note = {\url{http://why3.lri.fr/download/manual-0.86.1.pdf}}
}
@techreport{acar15rr,
  topics = {team},
  title = {Fast Parallel Graph-Search with Splittable and Catenable Frontiers},
  author = {Acar, Umut A. and Chargu{\'e}raud, Arthur and Rainey, Mike},
  hal = {https://hal.inria.fr/hal-01089125},
  type = {Technical Report},
  institution = {Inria},
  year = 2015,
  month = jan
}
@techreport{dross15rr,
  topics = {team},
  title = {High-Level Functional Properties of Bit-Level Programs: Formal Specifications and Automated Proofs},
  author = {Dross, Claire and Fumex, Cl{\'e}ment and Gerlach, Jens and March{\'e}, Claude},
  hal = {https://hal.inria.fr/hal-01238376},
  type = {Research Report},
  number = 8821,
  institution = {Inria},
  year = 2015,
  month = dec
}