JPF−AWT: Model Checking GUI Applications

Detaylı Bibliyografya
Asıl Yazarlar: Mehlitz, P, Tkachuk, O, Ujma, M
Materyal Türü: Conference item
Baskı/Yayın Bilgisi: 2011