Formal Validation of Pattern Matching Code (2005)

by C Kirchner, P-E Moreau, A Reilles
Venue:In Proceedings of PPDP’05