TY  - CONF
AV  - public
VL  - 9
UR  - http://acta.bibl.u-szeged.hu/61666/
ID  - acta61666
Y1  - 2014///
T2  - Conference of PhD students in computer science (9.) (2014) (Szeged)
TI  - Test-driven verification of model transformations
A1  -  Hudák Péter
A1  -  Lengyel László
KW  - Számítástechnika - el?adáskivonat
ER  -