![](/img/cover-not-exists.png)
Composing specifications
Abadi, Martín, Lamport, LeslieVolume:
15
Language:
english
Journal:
ACM Transactions on Programming Languages and Systems
DOI:
10.1145/151646.151649
Date:
January, 1993
File:
PDF, 3.85 MB
english, 1993