  |
Items where Author is "Bereczky, Péter"
Group by: Item Type | No Grouping Number of items: 2. Szalontai, Balázs and Bereczky, Péter and Horpácsi, Dániel (2023) Deep Learning-Based Refactoring with Formally Verified Training DatA. INFOCOMMUNICATIONS JOURNAL, 15 (SI). pp. 2-8. ISSN 2061-2079 Bereczky, Péter and Donkó, István and Horpácsi, Dániel and Kaposi, Ambrus and Németh, Dávid János (2020) Interactive Teaching of Programming Language Theory with a Proof Assistant. Central-European Journal of New Technologies in Research, Education and Practice. ISSN 2676-9425 |
