Skip to content
Vinony
Category

Oxford University Computing Laboratory

page 1
Z notation
formal specification language used for describing and modelling computing systems
Oxford University Computing Laboratory — category · Vinony