English Z notation Cited by user Jpbowen on 28 Jul 2022 The Z notation is a formal specification language used for describing and modelling computing systems.