IEE Colloquium on 'Formal Methods and Human-Computer Interaction: II' (Digest No.82) | IET Conference Publication | IEEE Xplore