2004-conference.bib

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

@comment{{Command line: /usr/bin/bib2bib -q -oc 2004-conference.cite -ob 2004-conference.bib -c 'year = 2004 and topics : "team" and $type="inproceedings"' ../../biblio/abbrevs.bib ../../biblio/demons.bib ../../biblio/demons2.bib ../../biblio/demons3.bib ../../biblio/team.bib ../../biblio/crossrefs.bib}}

@inproceedings{jacobs04amast,
  author = {Bart Jacobs and Claude March{\'e} and Nicole Rauch},
  title = {Formal Verification of a Commercial Smart Card Applet with
  Multiple Tools},
  crossref = {amast04},
  year = 2004,
  topics = {team}
}

@inproceedings{contejean04rta,
  author = {\'Evelyne Contejean},
  title = {{A certified AC matching algorithm}},
  booktitle = {15th International Conference on Rewriting Techniques and Applications},
  crossref = {rta04},
  pages = {70--84},
  year = 2004,
  type_publi = {icolcomlec},
  topics = {team},
  doi = {10.1007/978-3-540-25979-4_5},
  abstract = {http://www.lri.fr/~contejea/publis/2004rta/abstract.html}
}

@inproceedings{corbineau04,
  author = {Pierre Corbineau},
  title = {First-order reasoning in the {Calculus of Inductive Constructions}},
  crossref = {types03},
  booktitle = {TYPES 2003 : Types for Proofs and Programs},
  pages = {162--177},
  year = 2004,
  editor = {Stefano Berardi and Mario Coppo and Ferruccio Damiani},
  volume = 3085,
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  topics = {team},
  type_publi = {icolcomlec},
  ps = {http://www.lri.fr/~corbinea/ftp/publis/types03.ps},
  url = {http://www.lri.fr/~corbinea/ftp/publis/types03.ps}
}

@inproceedings{duran04pepm,
  author = {Francisco Dur{\'a}n and Salvador Lucas and Jos{\'e} Meseguer
and Claude March{\'e} and Xavier  Urbain},
  title = {Proving Termination of Membership Equational Programs},
  crossref = {pepm04},
  topics = {team},
  type_publi = {icolcomlec}
}

@inproceedings{filliatre04icfem,
  author = {Jean-Christophe Filli{\^a}tre and Claude March{\'e}},
  title = {Multi-Prover Verification of {C} Programs},
  crossref = {icfem04},
  year = {2004},
  pages = {15--29},
  topics = {team},
  type_publi = {icolcomlec},
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/caduceus.ps.gz}
}

@inproceedings{FilliatreLetouzey04esop,
  author = {Jean-Christophe Filli\^atre and Pierre Letouzey},
  title = {{Functors for Proofs and Programs}},
  booktitle = {Proceedings of The European Symposium on Programming},
  year = 2004,
  address = {Barcelona, Spain},
  month = apr,
  series = {Lecture Notes in Computer Science},
  volume = 2986,
  pages = {370--384},
  topics = {team},
  type_publi = {icolcomlec},
  x-pdf = {https://usr.lmf.cnrs.fr/~jcf/publis/fpp.pdf},
  url = {https://usr.lmf.cnrs.fr/~jcf/publis/fpp.pdf}
}

@proceedings{rta04,
  title = {15th International Conference on Rewriting Techniques and Applications},
  booktitle = {15th International Conference on Rewriting Techniques and Applications},
  editor = {Vincent van Oostrom},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 3091,
  month = jun,
  year = 2004,
  address = {Aachen, Germany},
  isbn = {3-540-22153-0}
}

@proceedings{types03,
  editor = {Stefano Berardi and Mario Coppo and Ferruccio Damiani},
  title = {3rd International Workshop on Types for Proofs and Programs},
  booktitle = {3rd International Workshop on Types for Proofs and Programs},
  publisher = {Springer},
  series = {Lecture Notes in Computer Science},
  volume = 3085,
  year = 2004,
  isbn = {3-540-22164-6},
  month = apr,
  address = {Torino, Italy}
}

@proceedings{amast04,
  title = {Algebraic Methodology and Software Technology},
  booktitle = {Algebraic Methodology and Software Technology},
  year = 2004,
  series = {Lecture Notes in Computer Science},
  volume = 3116,
  address = {Stirling, UK},
  month = jul,
  publisher = {Springer}
}

@proceedings{pepm04,
  title = {Partial Evaluation and Program Manipulation},
  year = 2004,
  booktitle = {ACM SIGPLAN 2004 Symposium on Partial Evaluation and Program Manipulation},
  address = {Verona, Italy},
  month = aug,
  publisher = {ACM Press}
}

@proceedings{icfem04,
  title = {Formal Engineering Methods},
  year = 2004,
  booktitle = {6th International Conference on Formal Engineering Methods},
  series = {Lecture Notes in Computer Science},
  volume = 3308,
  editor = {Jim Davies and Wolfram Schulte and Mike Barnett},
  address = {Seattle, WA, USA},
  month = nov,
  publisher = {Springer}
}