TY  - RPRT
TI  - Enhancing Formal Software Specification with Artificial Intelligence
AU  - Antonio Abu Nassar
AU  - Eitan Farchi
PY  - 2026
UR  - https://arxiv.org/abs/2601.09745
ID  - 2601.09745
ER  -