Specification Methodology: An Integrated Relational Approach

Ali Mili, Xiaoyang Sean Wang, Yu Qing. Specification Methodology: An Integrated Relational Approach. Software: Practice and Experience, 16(11):1003-1030, 1986.

Abstract

Abstract is missing.