Jinghua Zhang, Shaoying Liu. Development of a Software Tool to Support Traceability-Based Inspection of SOFL Specifications. In Shaoying Liu, Zhenhua Duan, editors, Structured Object-Oriented Formal Language and Method - 4th International Workshop, SOFL+MSVL 2014, Luxembourg, Luxembourg, November 6, 2014, Revised Selected Papers. Volume 8979 of Lecture Notes in Computer Science, pages 32-46, Springer, 2014. [doi]
Abstract is missing.