Z was originally proposed by Abrial in 1977 with the help of Steve Schuman and Bertrand Meyer. (describes early version of the language). It was developed further at the Programming Research Group at Oxford University, where Abrial worked in the early 1980s, having arrived at Oxford in September 1979.
Z was originally proposed by Abrial in 1977 with the help of Steve Schuman and Bertrand Meyer (describes early version of the language). It was developed further at the Programming Research Group at Oxford University, where Abrial worked in the early 1980s, having arrived at Oxford in September 1979