Process Mining Meets Abstract Interpretation

Process Mining Meets Abstract Interpretation