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]
@inproceedings{DrechslerSW12,
title = {Formal Specification Level: Towards verification-driven design based on natural language processing},
author = {Rolf Drechsler and Mathias Soeken and Robert Wille},
year = {2012},
url = {http://ieeexplore.ieee.org/xpl/freeabs_all.jsp?arnumber=6336984},
researchr = {https://researchr.org/publication/DrechslerSW12},
cites = {0},
citedby = {0},
pages = {53-58},
booktitle = {Proceeding of the 2012 Forum on Specification and Design Languages, Vienna, Austria, September 18-20, 2012},
publisher = {IEEE},
isbn = {978-1-4673-1240-0},
}