%0 Conference Paper
%B FormalH, Workshop on Formal Methods in Human-Machine Interaction sponsored by the IFIP Working Group 13.5 on Human Error, Safety, and System Development
%D 2012
%T Formal verification and the prevention of systematic user error
%A Paolo Masci
%A Ruksenas, Rimvydas
%A Huang, Huayi
%A Paul Curzon
%A Michael Harrison