Jean-Raymond Abrial (born 1938) is a French computer scientist and inventor of the Z and B formal methods. J.-R. Abrial is the originator of the Z notation (typically used for formal specification of software), during his time at the Programming Research Group within the Oxford University Computing Laboratory, and later the B-Method (normally used for software development), two leading formal methods for software engineering. Wikipedia
The definitive Wikipedia entry for Jean-Raymond Abrial. Wikipedia is the biggest multilingual free-content encyclopedia on the Internet. en.wikipedia.org/wiki/Jean-Raymond_Abrial
