TY  - RPRT
TI  - Usability of AutoProof: a case study of software verification
AU  - Mansur Khazeev
AU  - Victor Rivera
AU  - Manuel Mazzara
AU  - Alexander Tchitchigin
PY  - 2016
UR  - https://arxiv.org/abs/1605.01663
ID  - 1605.01663
ER  -