TY  - RPRT
TI  - Automata Tutor v3
AU  - Loris D'Antoni
AU  - Martin Helfrich
AU  - Jan Kretinsky
AU  - Emanuel Ramneantu
AU  - Maximilian Weininger
PY  - 2020
DO  - 10.1007/978-3-030-53291-8_1
UR  - https://arxiv.org/abs/2005.01419
ID  - 2005.01419
ER  -