home
>
book reviews
> Michael Harrison
Google >
Michael Harrison
author : Michael Harrison
Books
Formal Methods in Human-Computer Interaction
. 1990,
with
Harold Thimbleby
Short works
Engineering Human-Error Tolerant Software. 1992.
(In
6th Z User Workshop
)