%0 Conference Proceedings
%T AnimUML as a UML Modeling and Verification Teaching Tool
%+ ESEO-ÉRIS (ÉRIS)
%+ Laboratoire des Sciences du Numérique de Nantes (LS2N)
%+ École Nationale Supérieure de Techniques Avancées Bretagne (ENSTA Bretagne)
%+ Equipe Processes for Safe and Secure Software and Systems (Lab-STICC_P4S)
%A Jouault, Frédéric
%A Sebille, Valentin
%A Besnard, Valentin
%A Le Calvar, Théo
%A Teodorov, Ciprian
%A Brun, Matthias
%A Delatour, Jérôme
%< avec comité de lecture
%B MODELS 2021
%C Fukuoka (virtual), Japan
%3 2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)
%P 615-619
%8 2021-11-10
%D 2021
%Z Engineering Sciences [physics]
%Z Computer Science [cs]Conference papers
%G English
%L hal-03408698
%U https://hal.science/hal-03408698
%~ UNIV-BREST
%~ UNIV-NANTES
%~ INSTITUT-TELECOM
%~ ENSTA-BRETAGNE
%~ CNRS
%~ UNIV-UBS
%~ EC-NANTES
%~ ENSTA-BRETAGNE-STIC
%~ UNAM
%~ ENIB
%~ LAB-STICC
%~ ESEO-TECH
%~ LS2N
%~ LS2N-NAOMOD
%~ INSTITUTS-TELECOM
%~ ESEO-ERIS
%~ LAB-STICC_P4S
%~ LAB-STICC_SHARP
%~ NANTES-UNIVERSITE
%~ UNIV-NANTES-AV2022
%~ NU-CENTRALE