_hackers/minds
Jean-Raymond Abrial
Universitaire

Jean-Raymond Abrial

French computer scientist (1938–2025)

Vie
1938 – 2025
Né(e) le
6 novembre 1938
Décédé(e) le
26 mai 2025
Nationalité
France

Jean-Raymond Abrial was a French computer scientist and inventor of the Z and B formal methods.

§Entrées associées

$cat références_externes.txt