3 ms·
The Z ("zed") notation -- but that is a non-executable specification language: https://en.wikipedia.org/wiki/Z_notation https://en.wikipedia.org/wiki/Z_notatio
by jonjacky 6y ago
The Z ("zed") notation -- but that is a non-executable specification language:
https://en.wikipedia.org/wiki/Z_notation https://en.wikipedia.org/wiki/Z_notation