TY  - RPRT
TI  - Trust the Spec, Not the Code - A Specification-First, AI-Assisted Case Study in Online Banking
AU  - Eitan Farchi
PY  - 2026
UR  - https://arxiv.org/abs/2609.07365
ID  - 2609.07365
ER  -