relation: http://acta.bibl.u-szeged.hu/61666/ title: Test-driven verification of model transformations creator: Hudák Péter creator: Lengyel László date: 2014 type: Konferencia vagy workshop anyag type: NonPeerReviewed format: part language: hu identifier: http://acta.bibl.u-szeged.hu/61666/1/cscs_2014_025.pdf identifier: Hudák Péter; Lengyel László: Test-driven verification of model transformations.