Formal verification in human error modelling (0)

by P Curzon, R Ruksenas, A Blandford