Report copyright - © Fachgebiet Softwaretechnik, Heinz Nixdorf Institut, Universität Paderborn 2.4 The Z Notation [Reference: M. Spivey: The Z Notation, Prentice Hall]
Please pass captcha verification before submit form
Please pass captcha verification before submit form