@misc{indiciaed9db8109ef36,
  title = {Initial steps towards assessing the usability of a verification tool},
  author = {Mansur Khazeev and Victor Rivera and Manuel Mazzara and Leonard Johard},
  year = {2017},
  url = {https://arxiv.org/abs/1704.05008},
  note = {Source identifier: 1704.05008}
}