TY  - RPRT
TI  - Human Factors of Formal Methods
AU  - Maria Spichkova
PY  - 2014
UR  - https://arxiv.org/abs/1404.7247
ID  - 1404.7247
ER  -