elzea@sersun0.essex.ac.uk (El-Zein A A) (04/10/90)
Is there a formal definition for code varification? Mustpha