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.
M.L.A (9 ম সংস্করণ) উদ্ধৃতিMehlitz, P., et al. JPF−AWT: Model Checking GUI Applications. 2011.
সতর্কবাণী: সাইটেশন সবসময় 100% নির্ভুল হতে পারে না.