Mehlitz, P., Tkachuk, O., & Ujma, M. (2011). JPF−AWT: Model Checking GUI Applications.
Chicagoスタイル(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.
警告: この引用は必ずしも正確ではありません.