
Jean-Raymond Abrial
Get notified whenever this star has news
Browse by day
Who is this?
Jean-Raymond Abrial (6 November 1938 – 26 May 2025) was a French computer scientist and inventor of the Z and B formal methods.
What happened recently
Nothing new yet — we check every few minutes.