The Semantics of Shared Submodules Specifications

Cite this paper

@inproceedings{Blum1985TheSO, title={The Semantics of Shared Submodules Specifications}, author={Edward K. Blum and Francesco Parisi-Presicce}, booktitle={TAPSOFT, Vol.1}, year={1985} }