Steven Jordaan, Nils Timm, and Linda Marshall. 2023.
 AutomaTutor: An Educational Mobile App for Teaching Automata Theory. In <em>Anais do XXVI Simpósio Brasileiro de Métodos Formais</em>, dezembro 04, 2023, Manaus/AM, Brasil. SBC, Porto Alegre, Brasil, 131-140.