Automating the Translation of Assertions Using Natural Language Processing Techniques

@inproceedings{pub7418,
    author = {

Soeken, Mathias
 and 

Harris, Christopher B.
 and 

Abdessaied, Nabila
 and 

Harris, Ian G.
 and 

Drechsler, Rolf
},
    title = {Automating the Translation of Assertions Using Natural Language Processing Techniques},
    booktitle = {Forum on Specification and Design Languages - Proceedings. Forum on Specification & Design Languages (FDL-14), October 14-16},
    year = {2014}
}