@inproceedings{conf/dagstuhl/KirchnerMR06,
title = {Formal Validation of Pattern Matching code.},
author = {Claude Kirchner and Pierre-Etienne Moreau and Antoine Reilles},
booktitle = {Trustworthy Software},
crossref = {conf/dagstuhl/2006P6000},
editor = {Serge Autexier and Stephan Merz and Leendert W. N. van der Torre and Reinhard Wilhelm and Pierre Wolper},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P6000.html#KirchnerMR06},
volume = {06000},
year = {2006},
description = {dblp},
date = {2008-05-14}, ee = {http://drops.dagstuhl.de/opus/volltexte/2006/697},
keywords = {dblp }
}
::