Research on Verification Tool for Software Requirements

Tao He, LiPing Li. Research on Verification Tool for Software Requirements. JSW, 7(7):1609-1616, 2012. [doi]

Abstract

Abstract is missing.