![](/img/cover-not-exists.png)
Specifying and Refining Internal Operations in Z
John Derrick, Eerke Boiten, Howard Bowman, Maarten SteenVolume:
10
Language:
english
Pages:
35
DOI:
10.1007/s001650050007
Date:
November, 1998
File:
PDF, 205 KB
english, 1998