@inproceedings {6987,
	title = {VIATRA Solver: A Framework for the Automated Generation of Consistent Domain-Specific Models},
	booktitle = {41st International Conference on Software Engineering},
	year = {2019},
	month = {2019},
	publisher = {ACM/IEEE},
	organization = {ACM/IEEE},
	address = {Montreal, Canada},
	url = {https://2019.icse-conferences.org/event/icse-2019-demonstrations-viatra-solver-a-framework-for-the-automated-generation-of-consistent-domain-specific-models},
	author = {Oszk{\'a}r Semer{\'a}th and Aren Babikian and Sebastian Pilarski and D{\'a}niel Varr{\'o}}
}
