IEE Colloquium on 'Formal Methods in HCI: III' (Digest No.151) | IET Conference Publication | IEEE Xplore