TY  - RPRT
TI  - Trustworthy Formal Natural Language Specifications
AU  - Colin S. Gordon
AU  - Sergey Matskevich
PY  - 2023
DO  - 10.1145/3622758.3622890
UR  - https://arxiv.org/abs/2310.03885
ID  - 2310.03885
ER  -