Design and Verification of Embedded Systems from Natural Language Descriptions

@inproceedings{pub6589,
    author = {

Drechsler, Rolf
 and 

Harris, Ian
 and 

Wolfgang, Ecker
 and 

Findenig, Rainer
 and 

Wille, Robert
},
    title = {Design and Verification of Embedded Systems from Natural Language Descriptions},
    booktitle = {Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France},
    year = {2013},
    publisher = {IEEE}
}