On the Modularization Theorem for logical specifications
Paulo A.S Veloso, Thomas S.E MaibaumVolume:
53
Year:
1995
Language:
english
Pages:
7
DOI:
10.1016/0020-0190(94)00203-b
File:
PDF, 603 KB
english, 1995