TY  - RPRT
TI  - Abstract Domains for Database Manipulating Processes
AU  - Tobias Schüler
AU  - Stephan Mennicke
AU  - Malte Lochau
PY  - 2023
UR  - https://arxiv.org/abs/2308.03466
ID  - 2308.03466
ER  -