@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},
	biburl = {http://www.bibsonomy.org/bibtex/295d0384abf81b3cbe06ebc78346e77df/dblp},
	description = {dblp},
	date = {2008-05-14}, ee = {http://drops.dagstuhl.de/opus/volltexte/2006/697},
	keywords = {dblp }
}