(file) Slides

Declarative Process Mining for Software Processes: the RuM toolkit and the Declare4Py Python library by Anti Alman (University of Tartu), Ivan Donadello (Free University of Bozen/Bolzano), Fabrizio Maria Maggi (Free University of Bozen/Bolzano), and Marco Montali (Free University of Bozen/Bolzano): click here to download slides and Jupyter Notebook files.