@inproceedings{jouault:hal-03408698,
  TITLE = {{AnimUML as a UML Modeling and Verification Teaching Tool}},
  AUTHOR = {Jouault, Fr{\'e}d{\'e}ric and Sebille, Valentin and Besnard, Valentin and Le Calvar, Th{\'e}o and Teodorov, Ciprian and Brun, Matthias and Delatour, J{\'e}r{\^o}me},
  URL = {https://hal.science/hal-03408698},
  BOOKTITLE = {{MODELS 2021}},
  ADDRESS = {Fukuoka (virtual), Japan},
  SERIES = {2021 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)},
  PAGES = {615-619},
  YEAR = {2021},
  MONTH = Nov,
  HAL_ID = {hal-03408698},
  HAL_VERSION = {v1},
}