Jordaan, S., 		Timm, N., & 		Marshall, L.
2023 dez  4.  AutomaTutor: An Educational Mobile App for Teaching Automata Theory. Anais do Simpósio Brasileiro de Métodos Formais (SBMF). [Online] :