Z notation

Z notation 係一種正式嘅規範語言，用嚟描述同埋建立模型嘅計算系統。佢一般針對計算機程序同埋基於計算機嘅系統嘅明確規範。