TY  - RPRT
TI  - CUTECat: Concolic Execution for Computational Law
AU  - Pierre Goutagny
AU  - Aymeric Fromherz
AU  - Raphaël Monat
PY  - 2025
UR  - https://arxiv.org/abs/2410.18212
ID  - 2410.18212
ER  -