@misc{indiciaecd11eab24a67,
  title = {A User Study for Evaluation of Formal Verification Results and their Explanation at Bosch},
  author = {Arut Prakash Kaleeswaran and Arne Nordmann and Thomas Vogel and Lars Grunske},
  year = {2023},
  doi = {10.1007/s10664-023-10353-4},
  url = {https://arxiv.org/abs/2304.08950},
  note = {Source identifier: 2304.08950}
}