TY  - RPRT
TI  - Gillian: A Multi-Language Platform for Unified Symbolic Analysis
AU  - Petar Maksimović
AU  - José Fragoso Santos
AU  - Sacha-Élie Ayoun
AU  - Philippa Gardner
PY  - 2021
UR  - https://arxiv.org/abs/2105.14769
ID  - 2105.14769
ER  -