![](/img/cover-not-exists.png)
Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability
Ganzinger, HaraldVolume:
5
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/2166.357212
Date:
July, 1983
File:
PDF, 2.17 MB
english, 1983