@misc{indiciae22df296905d4,
  title = {A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation},
  author = {Arut Prakash Kaleeswaran and Arne Nordmann and Thomas Vogel and Lars Grunske},
  year = {2021},
  url = {https://arxiv.org/abs/2108.06376},
  note = {Source identifier: 2108.06376}
}