TY  - RPRT
TI  - A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch
AU  - Arut Prakash Kaleeswaran
AU  - Arne Nordmann
AU  - Thomas Vogel
AU  - Lars Grunske
PY  - 2023
DO  - 10.1007/s10664-023-10353-4
UR  - https://arxiv.org/abs/2304.08950
ID  - 2304.08950
ER  -