Bereczky, P., Donkó, I., Horpácsi, D., Kaposi, A., & Németh, D. J. (2020, April 28). Interactive Teaching of Programming Language Theory with a Proof Assistant. Central-European Journal of New Technologies in Research, Education and Practice, 19-33. https://doi.org/10.36427/CEJNTREP.2.1.470
Chicago-Zitierstil (17. Ausg.)Bereczky, Péter, István Donkó, Dániel Horpácsi, Ambrus Kaposi, und Dávid János Németh. "Interactive Teaching of Programming Language Theory with a Proof Assistant." Central-European Journal of New Technologies in Research, Education and Practice 28 Apr. 2020: 19-33. https://doi.org/10.36427/CEJNTREP.2.1.470.
MLA-Zitierstil (9. Ausg.)Bereczky, Péter, et al. "Interactive Teaching of Programming Language Theory with a Proof Assistant." Central-European Journal of New Technologies in Research, Education and Practice, 28 Apr. 2020, pp. 19-33, https://doi.org/10.36427/CEJNTREP.2.1.470.