@misc{Yahyaoui_Hamdi_A,
 author={Yahyaoui, Hamdi and Debbabi, Mourad and Tawbi, Nadia},
 howpublished={online},
 publisher={Instytut Łączności - Państwowy Instytut Badawczy, Warszawa},
 language={ang},
 title={A formal dynamic semantics of Java: an essential ingredient of Java security, Journal of Telecommunications and Information Technology, 2002, nr 4},
 type={artykuł},
 keywords={security, Java, operational semantics, static analysis, certifying compilers, dynamic semantics, small step semantics},
}