TY  - RPRT
TI  - Rigorous Function Calculi in Ariadne
AU  - Pieter Collins
AU  - Luca Geretti
AU  - Sanja Zivanovic Gonzalez
AU  - Davide Bresolin
AU  - Tiziano Villa
PY  - 2025
DO  - 10.46298/lmcs-21(3:28)2025
UR  - https://arxiv.org/abs/2306.17541
ID  - 2306.17541
ER  -