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}
}