Constructing Specifications by Combining Parallel Elaborations

Martin S. Feather. Constructing Specifications by Combining Parallel Elaborations. IEEE Trans. Software Eng., 15(2):198-208, 1989. [doi]

Abstract

Abstract is missing.