%0 Journal Article
%T Program Verifications, Object Interdependencies, and Object Types
%A Xing Cong-Cong
%J e-Informatica Software Engineering Journal
%D 2007
%I Wroclaw University of Technology
%U http://www.e-informatyka.pl/e-Informatica/attach/Issue1/Vol1Iss1Art5eInformatica.pdf