@inproceedings {5904,
	title = {Formal Validation and Model Synthesis for Domain-specific Languages by Logic Solvers},
	booktitle = {ACM Student Research Competition at MODELS 2016},
	year = {2016},
	note = {co-located with the 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016)
sponsored by Microsoft Research},
	publisher = {CEUR-WS},
	organization = {CEUR-WS},
	address = {Saint-malo, France},
	author = {Oszk{\'a}r Semer{\'a}th}
}
