APA (7th ed.) Citation

Bowen, J. P., & Habrias, H. (2026). Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer.

Chicago Style (17th ed.) Citation

Bowen, Jonathan P., and Henri Habrias. Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer. 2026.

MLA (9th ed.) Citation

Bowen, Jonathan P., and Henri Habrias. Jean-Raymond Abrial: A Scientific Biography of a Formal Methods Pioneer. 2026.

Warning: These citations may not always be 100% accurate.