IEE Colloquium on 'Assessment and Certification of Software' (Digest No.1993/208) | IET Conference Publication | IEEE Xplore