Jordaan, S., 		Timm, N., & 		Marshall, L.
(2023).
 AutomaTutor: An Educational Mobile App for Teaching Automata Theory.
In <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, (pp. 131-140). Porto Alegre: SBC.