Automata Tutor and what we learned from building an online teaching tool

Loris D'Antoni, Matthew Weavery, Alexander Weinert, Rajeev Alur. Automata Tutor and what we learned from building an online teaching tool. Bulletin of the EATCS, 117, 2015. [doi]

Abstract

Abstract is missing.