@inproceedings{MTMT:2997876, title = {Textual Diagram Layout Language and Visualization Algorithm}, url = {https://m2.mtmt.hu/api/publication/2997876}, author = {Balázs, Gregorics and Gregorics, Tibor and Kovács, Gábor Ferenc and András, Dobreff and Dévai, Gergely}, booktitle = {2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)}, doi = {10.1109/MODELS.2015.7338250}, unique-id = {2997876}, year = {2015}, pages = {196-205}, orcid-numbers = {Gregorics, Tibor/0000-0002-9503-9623} } @article{MTMT:3416674, title = {Automated verification of model transformations based on visual contracts}, url = {https://m2.mtmt.hu/api/publication/3416674}, author = {Guerra, E and De Lara, J and Wimmer, M and Kappel, G and Kusel, A and Retschitzegger, Werner and Schönböck, J and Schwinger, W}, doi = {10.1007/s10515-012-0102-y}, journal-iso = {AUTOMAT SOFTW ENG}, journal = {AUTOMATED SOFTWARE ENGINEERING}, volume = {20}, unique-id = {3416674}, issn = {0928-8910}, year = {2013}, eissn = {1573-7535}, pages = {5-46} }