AnimUML as a UML Modeling and Verification Teaching Tool. - Frédéric Jouault; Valentin Sebille; Valentin Besnard; Théo Le Calvar; Ciprian Teodorov; Matthias Brun 001; Jérôme Delatour (MoDELS (Companion), 2021)