TY  - RPRT
TI  - Formal Simulation and Visualisation of Hybrid Programs
AU  - Pedro Mendes
AU  - Ricardo Correia
AU  - Renato Neves
AU  - José Proença
PY  - 2024
DO  - 10.4204/eptcs.411.2
UR  - https://arxiv.org/abs/2411.14365
ID  - 2411.14365
ER  -