Topic
Z notation.
formal specification language used for describing and modelling computing systems, standardized in ISO 13568
The journal
Open the journal →The conversation starts in the journal — be the first to post.
About Z notation
The Z notation is a formal specification language used for describing and modelling computing systems. It is targeted at the clear specification of computer programs and computer-based systems in general.
Everything about Z notation →