@inproceedings{965,
  author = {Gabor Karsai and Janos Sztipanovits and Hubertus Franke},
  title = {Towards Specification of Program Synthesis in Model-Integrated Computing},
  year = {1998},
  journal = {ECBS-98},
  pages = {226--233},
  address = {Jerusalem, Israel},
  language = {eng},
}