TY  - RPRT
TI  - Non-Numerical Weakly Relational Domains
AU  - Helmut Seidl
AU  - Julian Erhard
AU  - Sarah Tilscher
AU  - Michael Schwarz
PY  - 2024
UR  - https://arxiv.org/abs/2401.05165
ID  - 2401.05165
ER  -