TY  - RPRT
TI  - Logics for Contravariant Simulations
AU  - Ignacio Fábregas
AU  - David de Frutos-Escrig
AU  - Miguel Palomino
PY  - 2024
DO  - 10.1007/978-3-642-13464-7\_18
UR  - https://arxiv.org/abs/2402.00964
ID  - 2402.00964
ER  -