ZUM '95, the Z formal specification notation 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings - International Conference of Z Users Limerick, Ireland) 1995; Bowen, J. P. 1956- (Jonathan Peter).; Hinchey, Michael G. 1969- (Michael Gerard). (Berlin Springer, 1995)
Keywords: Z (Computer program language) -- Congresses