Research output
Publications
2026
Conf.
34th EACSL Annual Conference on Computer Science Logic (CSL 2026) — LIPIcs, Vol. 363, pp. 31:1–31:24
All publications are also indexed on the
HAL-ANR portal for ANR-25-CE48-5096 ↗.