TY  - RPRT
TI  - Developing controlled natural language for formal specification patterns using AI assistants
AU  - Natalia Garanina
AU  - Vladimir Zyubin
AU  - Igor Anureev
PY  - 2025
UR  - https://arxiv.org/abs/2512.24159
ID  - 2512.24159
ER  -