![](/img/cover-not-exists.png)
A rule-based approach to producing Z specifications from Jackson system development
Jonathan Lee, Jiann-I PanVolume:
13
Year:
1998
Language:
english
Pages:
25
DOI:
10.1002/(sici)1098-111x(199807)13:73.0.co;2-g
File:
PDF, 280 KB
english, 1998