2012-book.bib

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

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

@incollection{paulin12laser,
  author = {Christine Paulin-Mohring},
  title = {Tools for Practical Software Verification (International Summer School, {LASER} 2011, Revised Tutorial Lectures)},
  chapter = {Introduction to the {Coq} proof-assistant for
practical software verification},
  publisher = {Springer},
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {chapitre},
  x-support = {ouvrage},
  year = 2012,
  series = {Lecture Notes in Computer Science},
  volume = {7682},
  pdf = {http://www.lri.fr/~paulin/LASER/course-notes.pdf},
  rawebnote = {\url{http://www.lri.fr/~paulin/LASER/course-notes.pdf}}
}

@inbook{filliatre12ejcp,
  author = {Jean-Christophe Filli\^atre},
  title = {Course notes EJCP 2012},
  chapter = {V\'erification d\'eductive de programmes avec Why3},
  topics = {team},
  keywords = {Why3},
  x-equipes = {demons PROVAL},
  x-support = {diffusion},
  x-type = {invitation},
  month = jun,
  year = 2012,
  rawebnote = {\url{https://usr.lmf.cnrs.fr/~jcf/ejcp-2012/}},
  pdf = {https://usr.lmf.cnrs.fr/~jcf/ejcp-2012/}
}

@incollection{boldo:hal-00755333,
  hal = {http://hal.inria.fr/hal-00755333},
  title = {Arithm{\'e}tique des ordinateurs et preuves formelles},
  author = {Sylvie Boldo and Guillaume Melquiond},
  booktitle = {{\'E}cole des Jeunes Chercheurs en Informatique Math{\'e}matique},
  pages = {1--30},
  address = {Rennes, France},
  organization = {GDR Informatique Math{\'e}matique},
  editor = {Val{\'e}rie Berth{\'e} and Christiane Frougny and Natacha Portier and Marie-Fran\c{c}oise Roy and Anne Siegel},
  year = {2012},
  month = mar,
  type_publi = {chapitre},
  x-international-audience = {no},
  x-equipes = {demons PROVAL},
  x-support = {diffusion},
  x-type = {invitation},
  topics = {team}
}