Formal validation of pattern matching code (2005)

by Claude Kirchner , Pierre-etienne Moreau , Antoine Reilles
Venue:PROCEEDINGS OF PPDP 2005
Citations:5 - 4 self