![](/img/cover-not-exists.png)
Combining Component Specifications in Object-Z and CSP
John Derrick, Eerke BoitenVolume:
13
Language:
english
Pages:
17
DOI:
10.1007/s001650200002
Date:
May, 2002
File:
PDF, 149 KB
english, 2002