Mehlitz, P., Tkachuk, O., & Ujma, M. (2011). JPF−AWT: Model Checking GUI Applications.
Chicago-referens (17:e uppl.)Mehlitz, P., O. Tkachuk, och M. Ujma. JPF−AWT: Model Checking GUI Applications. 2011.
MLA-referens (9:e uppl.)Mehlitz, P., et al. JPF−AWT: Model Checking GUI Applications. 2011.
Varning: dessa hänvisningar är inte alltid fullständigt riktiga.