Publication
Design and Verification of Embedded Systems from Natural Language Descriptions
Rolf Drechsler; Ian Harris; Ecker Wolfgang; Rainer Findenig; Robert Wille
In: Design, Automation & Test in Europe. Design, Automation & Test in Europe (DATE-13), March 18-22, Grenoble, France, IEEE, 2013.