Wenbin Li, Jane Huffman Hayes, Miroslaw Truszczynski. Towards More Efficient Requirements Formalization: A Study. In Samuel A. Fricker, Kurt Schneider, editors, Requirements Engineering: Foundation for Software Quality - 21st International Working Conference, REFSQ 2015, Essen, Germany, March 23-26, 2015. Proceedings. Volume 9013 of Lecture Notes in Computer Science, pages 181-197, Springer, 2015. [doi]
Abstract is missing.