Items where Author is "Németh, Dávid János"
Group by: Item Type | No Grouping Number of items: 1. 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 |