@inproceedings{912, author = {Janos Sztipanovits and Gabor Karsai and Hubertus Franke}, title = {Model-Integrated Program Synthesis Environment}, year = {2000}, journal = {Proceedings of the IEEE Symposium on Engineering of Computer Based Systems}, pages = {348--355}, month = {March}, address = {Friedrichshafen, Germany}, language = {eng}, }