IEE Tutorial Colloquium on 'Formal Methods and Notations Applicable to Telecommunications' (Digest No.061) | IET Conference Publication | IEEE Xplore