IEE Colloquium on 'Formal and Semi-Formal Methods for Digital Systems Design' (Digest No.014) | IET Conference Publication | IEEE Xplore