Human Factors of Formal Methods
  This paper provides a brief introduction to the work that aims to apply the achievements within the area of engineering psychology to the area of formal methods, focusing on the specification phase of a system development process. 
Maria Spichkova
cs.SE cs.HC