Caos: A Reusable Scala Web Animator of Operational Semantics.

Jos Proena, Luc Edixhoven

Browse the full Coordination paper archive.