IEE Colloquium on 'Automating Formal Methods for Computer Assisted Prototying' (Digest No.008) | IET Conference Publication | IEEE Xplore