AnimUML as a UML Modeling and Verification Teaching Tool.

Frdric Jouault, Valentin Sebille, Valentin Besnard, Tho Le Calvar, Ciprian Teodorov, Matthias Brun, Jrme Delatour

Browse the full MODELS paper archive.