Rolf Drechsler, Mathias Soeken, Robert Wille. Formal Specification Level: Towards verification-driven design based on natural language processing. In Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012. pages 53-58, IEEE, 2012. [doi]
Abstract is missing.