TY  - RPRT
TI  - Initial steps towards assessing the usability of a verification tool
AU  - Mansur Khazeev
AU  - Victor Rivera
AU  - Manuel Mazzara
AU  - Leonard Johard
PY  - 2017
UR  - https://arxiv.org/abs/1704.05008
ID  - 1704.05008
ER  -