TY  - RPRT
TI  - User-Driven Abstraction for Model Checking
AU  - Glenn Bruns
PY  - 2023
UR  - https://arxiv.org/abs/2307.15820
ID  - 2307.15820
ER  -