TY  - RPRT
TI  - Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)
AU  - José Proença
AU  - Luc Edixhoven
PY  - 2023
UR  - https://arxiv.org/abs/2304.14901
ID  - 2304.14901
ER  -