Mo Li, Shaoying Liu. Tool Support for Rigorous Formal Specification Inspection. In Xingang Liu, Didier El Baz, Ching-Hsien Hsu, Kai Kang, Weifeng Chen, editors, 17th IEEE International Conference on Computational Science and Engineering, CSE 2014, Chengdu, China, December 19-21, 2014. pages 729-734, IEEE, 2014. [doi]
Abstract is missing.