@misc{Woźna_Bożena_Model_2009,
 author={Woźna, Bożena and Zbrzezny, Andrzej},
 type={artykuł},
 publisher={Wydawnictwo Akademii im. Jana Długosza w Częstochowie},
 title={Model checking of Java programs using networks of FADDs},
 address={Częstochowa},
 year={2009},
 language={eng},
}