rousset.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc rousset.cite -ob rousset.bib -c 'author : "rousset"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{marche06sefm,
  author = {Claude March\'e and Nicolas Rousset},
  topics = {team},
  title = {Verification of {Java Card} Applets Behavior with
  respect to Transactions and Card Tears},
  crossref = {sefm06},
  type_publi = {icolcomlec},
  x-equipes = {demons PROVAL},
  x-type = {article},
  x-support = {actes},
  x-cle-support = {SEFM}
}

@phdthesis{rousset2008these,
  author = {Nicolas Rousset},
  title = {Automatisation de la Sp\'ecification et de la V\'erification d'applications Java Card},
  school = {Universit{\'e} Paris-Sud},
  year = 2008,
  type = {Th{\`e}se de Doctorat},
  month = jun,
  topics = {team},
  x-equipes = {demons PROVAL},
  x-type = {these},
  x-support = {rapport},
  url = {http://www.lri.fr/~marche/rousset2008these.pdf}
}

@proceedings{sefm06,
  title = {Software Engineering and Formal Methods},
  year = 2006,
  editor = {Dang Van Hung and Paritosh Pandya},
  booktitle = {4th IEEE International Conference on Software Engineering
and Formal Methods (SEFM'06)},
  address = {Pune, India},
  publisher = {{IEEE} Comp. Soc. Press},
  month = sep
}