![](/img/cover-not-exists.png)
Constructive consistency checking for partial specification in Z
Eerke Boiten, John Derrick, Howard Bowman, Maarten SteenVolume:
35
Year:
1999
Language:
english
Pages:
47
DOI:
10.1016/s0167-6423(99)00006-4
File:
PDF, 345 KB
english, 1999