[comp.software-eng] code varification definition

elzea@sersun0.essex.ac.uk (El-Zein A A) (04/10/90)

	Is there a formal definition for code varification?

					
					Mustpha