@misc{Xing_Cong-Cong_Program_2007,
 author={Xing, Cong-Cong},
 contributor={Huzar, Zbigniew. Redakcja and Madeyski, Lech. Redakcja},
 identifier={DOI: 10.5277/e-informatica},
 year={2007},
 rights={Wszystkie prawa zastrzeżone (Copyright)},
 publisher={Oficyna Wydawnicza Politechniki Wrocławskiej},
 description={e-Informatica Software Engineering Journal, Vol. 1, 2007, Issue 1, s. 77-97},
 language={eng},
 title={Program Verifications, Object Interdependencies, and Object Types},
 type={artykuł},
 keywords={informatyka - czasopisma},
}