TY  - RPRT
TI  - Comparing EventB, $\{log\}$ and Why3 Models of Sparse Sets
AU  - Maximiliano Cristiá
AU  - Catherine Dubois
PY  - 2023
UR  - https://arxiv.org/abs/2307.03974
ID  - 2307.03974
ER  -