TY  - RPRT
TI  - Gillian: Compositional Symbolic Execution for All
AU  - José Fragoso Santos
AU  - Petar Maksimović
AU  - Sacha-Élie Ayoun
AU  - Philippa Gardner
PY  - 2020
UR  - https://arxiv.org/abs/2001.05059
ID  - 2001.05059
ER  -