%L acta59731
%I University of Szeged
%A  Balogh AndrĂĄs
%P 23
%V 4
%T Correctness-proven code generation for MDA : [abstract]
%C Szeged
%K Számítástechnika - előadáskivonat
%D 2004
%J Conference of PhD Students in Computer Science