LARA This is an old revision of the document! Verifying pattern matching with guards Mirco Dotta, Philippe Suter Documents slides for printing 1xverify_pattern_matching1.1.pdf (without animation) slides for presentationverify_pattern_matching1.1.pdf