the Z formal specification notation : 9th International Conference of Z Users, Limerick, Ireland, September 7-9, 1995 : proceedings International Conference of Z Users 1995 : Limerick, Ireland) creator Bowen, Jonathan Peter 1956- ed. Hinchey, Michael Gerard 1969- ed. text conference publication gw Berlin Springer-Verlag 1995 monographic eng 569 p. Jonathan P. Bowen, Michael G. Hinchey (eds.) Z (Computer program language) Congresses QA76.73 Z2 I58 1995 3540602712 061009 20260819092756.0