TY  - RPRT
TI  - Three Decades of Formal Methods in Business Process Compliance: A Systematic Literature Review
AU  - Hugo A. López
AU  - Thomas T. Hildebrandt
PY  - 2024
UR  - https://arxiv.org/abs/2410.10906
ID  - 2410.10906
ER  -