tafat.bib

@comment{{This file has been generated by bib2bib 1.97pl2}}
@comment{{Command line: bib2bib -oc tafat.cite -ob tafat.bib -c 'author : "tafat" and topics : "team"' /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{tafat09master,
  author = {Asma Tafat},
  title = {Invariants et raffinements en
pr\'esence de partage},
  school = {Universit\'e Paris 6},
  topics = {team},
  year = 2009,
  url = {http://www.lri.fr/~marche/tafat09master.pdf}
}
@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/}
}
@inproceedings{tafat10foveoos,
  title = {A Refinement Methodology for Object-Oriented Programs},
  author = {Asma Tafat and Sylvain Boulm\'e and Claude March\'e},
  crossref = {foveoos10},
  x-equipes = {demons PROVAL EXT},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-support = {actes_aux},
  x-type = {article},
  x-cle-support = {FOVEOOS},
  pages = {143--159},
  topics = {team}
}
@inproceedings{tafat11foveoos,
  title = {A Refinement Methodology for Object-Oriented Programs},
  author = {Asma Tafat and Sylvain Boulm\'e and Claude March\'e},
  x-equipes = {demons PROVAL EXT},
  x-editorial-board = {yes},
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-support = {actes},
  x-type = {article},
  x-cle-support = {FOVEOOS},
  topics = {team},
  pages = {153--167},
  crossref = {postfoveoos10}
}
@techreport{tafat11rr,
  title = {Binary Heaps Formally Verified in {Why3}},
  author = {Tafat, Asma and March{\'e}, Claude},
  type = {Research Report},
  institution = {INRIA},
  number = 7780,
  year = 2011,
  month = oct,
  x-equipes = {demons PROVAL},
  x-support = {rapport},
  x-type = {article},
  topics = {team},
  hal = {http://hal.inria.fr/inria-00636083/en/},
  note = {\url{http://hal.inria.fr/inria-00636083/en/}}
}
@proceedings{foveoos10,
  editor = {Bernhard Beckert and Claude March\'e},
  title = {Formal Verification of Object-Oriented Software, Papers Presented at the International Conference},
  booktitle = {Formal Verification of Object-Oriented Software, Papers Presented at the International Conference},
  address = {Paris, France},
  month = jun,
  series = {Karlsruhe Reports in Informatics},
  note = {\url{http://digbib.ubka.uni-karlsruhe.de/volltexte/1000019083}},
  year = 2010,
  x-international-audience = {yes},
  x-proceedings = {yes},
  x-editorial-board = {yes},
  x-pays = {DE}
}
@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}
}