Xi Wang, Shaoying Liu. Guided Requirements Clarification for Automatic Formalization. In 14th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, SNPD 2013, Honolulu, Hawaii, USA, 1-3 July, 2013. pages 348-355, IEEE, 2013. [doi]
Abstract is missing.