Mehlitz, P., Tkachuk, O., & Ujma, M. (2011). JPF−AWT: Model Checking GUI Applications.
Чикаго стиль цитування (17-те видання)Mehlitz, P., O. Tkachuk, та M. Ujma. JPF−AWT: Model Checking GUI Applications. 2011.
Стиль цитування MLA (9-ме видання)Mehlitz, P., et al. JPF−AWT: Model Checking GUI Applications. 2011.
Попередження: стилі цитування не завжди правильні на всі 100%.