Automated analysis of the SCR-style requirements specifications

Guoqing Wu, Xiang Liu, Shi Ying, Tamai Tetsuo. Automated analysis of the SCR-style requirements specifications. J. Comput. Sci. Technol., 14(4):401-407, 1999. [doi]

Abstract

Abstract is missing.