Jean-Raymond Abrial (born 6 November 1938) is a French computer scientist and inventor of the Z and B formal methods. Abrial was a student at the École Polytechnique (class of 1958). Abrial's 1974 pap...