TY - CONF T2 - Conference of PhD students in computer science (7.) (2010) (Szeged) VL - 7 ID - acta59994 UR - http://acta.bibl.u-szeged.hu/59994/ AV - public N1 - Bibliogr.: 74. p. A1 - Ujhelyi Zoltán TI - Static type checking of model transformation programs Y1 - 2010/// KW - Számítástechnika - el?adáskivonat ER -