Jordaan, Steven, 		Timm, Nils, E 		Marshall, Linda.
" AutomaTutor: An Educational Mobile App for Teaching Automata Theory" <em>Anais do Simpósio Brasileiro de Métodos Formais (SBMF)</em> [Online], (4 dezembro 2023)