Mehlitz, P., Tkachuk, O., & Ujma, M. (2011). JPF−AWT: Model Checking GUI Applications.
Citace podle Chicago (17th ed.)Mehlitz, P., O. Tkachuk, a M. Ujma. JPF−AWT: Model Checking GUI Applications. 2011.
Citace podle MLA (9th ed.)Mehlitz, P., et al. JPF−AWT: Model Checking GUI Applications. 2011.
Upozornění: Tyto citace jsou generovány automaticky. Nemusí být zcela správně podle citačních pravidel..