Title :
Correction to "Information Flow Certification Using an Intermediate Code Program Representation"
Author_Institution :
Department of Computing and Information Science, Queen´s University, Kingston, Ont., Canada and Andyne computing Ltd.
Keywords :
"Certification","Algorithm design and analysis","Information science"
Journal_Title :
IEEE Transactions on Software Engineering
DOI :
10.1109/TSE.1982.235729
