TY  - RPRT
TI  - Exploring Usable Security to Improve the Impact of Formal Verification: A Research Agenda
AU  - Carolina Carreira
AU  - João F. Ferreira
AU  - Alexandra Mendes
AU  - Nicolas Christin
PY  - 2021
DO  - 10.4204/eptcs.349.6
UR  - https://arxiv.org/abs/2111.08209
ID  - 2111.08209
ER  -