%0 Conference Paper
%A  Hudák Péter
%A  Lengyel László
%B Conference of PhD students in computer science (9.) (2014) (Szeged)
%D 2014
%F acta:61666
%K Számítástechnika - előadáskivonat
%P 25
%T Test-driven verification of model transformations
%U http://acta.bibl.u-szeged.hu/61666/
%V 9