%0 Thesis %1 jung2007synthesizing %A Jung, Michael %D 2007 %K %T Synthesizing program generators for embedded software

@phdthesis{jung2007synthesizing, added-at = {2023-12-12T17:35:03.000+0100}, author = {Jung, Michael}, biburl = {https://www.bibsonomy.org/bibtex/2e1c4ed7ebca1804b9b791fb304fa3dc5/admin}, dnbtitleid = {985888628}, interhash = {05cbc4e920fd6879c2e292a161850212}, intrahash = {e1c4ed7ebca1804b9b791fb304fa3dc5}, keywords = {}, school = {TU Darmstadt}, timestamp = {2023-12-12T17:35:03.000+0100}, title = {Synthesizing program generators for embedded software}, year = 2007 }