@inproceedings{jouault:hal-02931876,
  TITLE = {{Designing, Animating, and Verifying Partial UML Models}},
  AUTHOR = {Jouault, Fr{\'e}d{\'e}ric and Besnard, Valentin and Le Calvar, Th{\'e}o and Teodorov, Ciprian and Brun, Matthias and Delatour, J.},
  URL = {https://hal.science/hal-02931876},
  BOOKTITLE = {{23rd International Conference on Model Driven Engineering Languages and Systems (MODELS 2020)}},
  ADDRESS = {Virtual event, Canada},
  PAGES = {211-217},
  YEAR = {2020},
  MONTH = Oct,
  DOI = {10.1145/3365438.3410967},
  HAL_ID = {hal-02931876},
  HAL_VERSION = {v1},
}