Publication
Grammar-based Program Generation Based on Model Finding
Mathias Soeken; Rolf Drechsler
In: IEEE International Design and Test Symposium - Proceedings. IEEE International Design and Test Symposium (IDT-13), 8th IEEE International Design and Test Symposium, December 16-18, Marrakesch, Morocco, IEEE, 2013.