TY  - RPRT
TI  - Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer
AU  - Jonathan P. Bowen
AU  - Henri Habrias
PY  - 2026
DO  - 10.1109/mahc.2026.3685515
UR  - https://arxiv.org/abs/2604.07353
ID  - 2604.07353
ER  -