@misc{indiciae3f1c6d4dbfe4,
  title = {Caos: A Reusable Scala Web Animator of Operational Semantics (Extended With Hands-On Tutorial)},
  author = {José Proença and Luc Edixhoven},
  year = {2023},
  url = {https://arxiv.org/abs/2304.14901},
  note = {Source identifier: 2304.14901}
}