Path: utzoo!utgpu!news-server.csri.toronto.edu!cs.utexas.edu!uunet!mcsun!ukc!servax0!sersun0.essex.ac.uk!elzea
From: elzea@sersun0.essex.ac.uk (El-Zein A A)
Newsgroups: comp.software-eng
Subject: code varification definition
Message-ID: <3467@servax0.essex.ac.uk>
Date: 9 Apr 90 18:37:28 GMT
Sender: news@servax0.essex.ac.uk
Reply-To: elzea@sersun0.essex.ac.uk (El-Zein A A)
Organization: University of Essex, Colchester, UK
Lines: 5


	Is there a formal definition for code varification?

					
					Mustpha