@misc{indiciae055114561520,
  title = {Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer},
  author = {Jonathan P. Bowen and Henri Habrias},
  year = {2026},
  doi = {10.1109/mahc.2026.3685515},
  url = {https://arxiv.org/abs/2604.07353},
  note = {Source identifier: 2604.07353}
}