Get notified whenever this star has news
No new stories today yet — we check every few minutes.
Jean-Raymond Abrial (6 November 1938 – 26 May 2025) was a French computer scientist and inventor of the Z and B formal methods.