%0 Conference Paper
%A  Balogh András
%B Conference of PhD students in computer science (4.)
%C Szeged
%D 2004
%F acta:59731
%I University of Szeged
%K Számítástechnika - előadáskivonat
%P 23
%T Correctness-proven code generation for MDA : [abstract]
%U http://acta.bibl.u-szeged.hu/59731/
%V 4