![](/img/cover-not-exists.png)
On pushout consistency, modularity and interpolation for logical specifications
Paulo A.S. VelosoVolume:
60
Year:
1996
Language:
english
Pages:
8
DOI:
10.1016/s0020-0190(96)00146-9
File:
PDF, 708 KB
english, 1996