TY  - CHAP
AU  - Balázs, Gregorics
AU  - Gregorics, Tibor
AU  - Kovács, Gábor Ferenc
AU  - András, Dobreff
AU  - Dévai, Gergely
ED  - Timothy, Lethbridge
ED  - Jordi, Cabot
ED  - Alexander, Egyed
TI  - Textual Diagram Layout Language and Visualization Algorithm
T2  - 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS)
PB  - IEEE
CY  - Passau
SN  - 9781467369084
PY  - 2015
SP  - 196
EP  - 205
PG  - 10
DO  - 10.1109/MODELS.2015.7338250
UR  - https://m2.mtmt.hu/api/publication/2997876
ID  - 2997876
N1  - 
LA  - English
DB  - MTMT
ER  - 

TY  - JOUR
AU  - Guerra, E
AU  - De Lara, J
AU  - Wimmer, M
AU  - Kappel, G
AU  - Kusel, A
AU  - Retschitzegger, Werner
AU  - Schönböck, J
AU  - Schwinger, W
TI  - Automated verification of model transformations based on visual contracts
JF  - AUTOMATED SOFTWARE ENGINEERING
J2  - AUTOMAT SOFTW ENG
VL  - 20
PY  - 2013
IS  - 1
SP  - 5
EP  - 46
PG  - 42
SN  - 0928-8910
DO  - 10.1007/s10515-012-0102-y
UR  - https://m2.mtmt.hu/api/publication/3416674
ID  - 3416674
LA  - English
DB  - MTMT
ER  -