2011-other.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2011-other.cite -ob 2011-other.bib -c 'year = 2011 and topics : "team" and $type<>"article" and $type<>"inproceedings" and $type<>"book" and $type<>"inbook" and $type<>"incollection" and $type<>"phdthesis" and $type<>"techreport" and $type<>"manual" and $type<>"mastersthesis"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@proceedings{audebaud10scp,
  title = {Science of Computer Programming. Special issue on the Mathematics of Program Construction (MPC 2008)},
  year = 2011,
  volume = 76,
  number = 3,
  issn = {0167-6423},
  doi = {10.1016/j.scico.2010.05.005},
  x-equipes = {demons PROVAL ext},
  x-support = {livre},
  x-type = {editorial},
  topics = {team},
  publisher = {Elsevier Science Publishers},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  url = {http://www.sciencedirect.com/science/article/B6V17-508CCPM-1/2/05b9e659a964af2a63a054fe26f63705},
  editor = {Philippe Audebaud and Christine Paulin-Mohring}
}

@misc{BobotPaskevich2011,
  author = {Fran\c{c}ois Bobot and Andrei Paskevich},
  title = {{Expressing Polymorphic Types in a Many-Sorted Language}},
  year = 2011,
  topics = {team},
  note = {Preliminary report. \url{http://hal.inria.fr/inria-00591414/}}
}

@misc{gasparcoq2011,
  author = {Nuno Gaspar},
  title = {Mechanized Semantics into Concurrent Program verification},
  howpublished = {\url{http://www.lri.fr/~gaspar/rgcoq.html}},
  topics = {team},
  month = sep,
  year = 2011,
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {master},
  note = {A documented Coq library, work in progress}
}

@proceedings{postfoveoos10,
  editor = {Bernhard Beckert and Claude March\'e},
  title = {Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2010},
  booktitle = {Formal Verification of Object-Oriented Software, Revised Selected Papers Presented at the International Conference, FoVeOOS 2010},
  publisher = {Springer},
  topics = {team},
  series = {Lecture Notes in Computer Science},
  volume = 6528,
  month = jan,
  year = 2011,
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-equipes = {demons PROVAL ext},
  x-support = {actes},
  x-type = {edition},
  x-cle-support = {FOVEOOS},
  x-pays = {DE}
}