Publikation

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.

Deutsches Forschungszentrum für Künstliche Intelligenz
German Research Center for Artificial Intelligence