TY  - RPRT
TI  - A User-Study Protocol for Evaluation of Formal Verification Results and their Explanation
AU  - Arut Prakash Kaleeswaran
AU  - Arne Nordmann
AU  - Thomas Vogel
AU  - Lars Grunske
PY  - 2021
UR  - https://arxiv.org/abs/2108.06376
ID  - 2108.06376
ER  -