Formal Methods in Software Engineering

Connecting Constrained Constructor Patterns and Matching Logic