TY  - RPRT
TI  - Reflections on the design, applications and implementations of the normative specification language eFLINT
AU  - L. Thomas van Binsbergen
AU  - Christopher A. Esterhuyse
AU  - Tim Müller
PY  - 2026
DO  - 10.1016/j.cola.2026.101411
UR  - https://arxiv.org/abs/2511.12276
ID  - 2511.12276
ER  -