TY  - RPRT
TI  - Formal Runtime Error Detection During Development in the Automotive Industry
AU  - Jesko Hecking-Harbusch
AU  - Jochen Quante
AU  - Maximilian Schlund
PY  - 2023
UR  - https://arxiv.org/abs/2310.16468
ID  - 2310.16468
ER  -