JPF−AWT: Model Checking GUI Applications

Номзүйн дэлгэрэнгүй
Үндсэн зохиолчид: Mehlitz, P, Tkachuk, O, Ujma, M
Формат: Conference item
Хэвлэсэн: 2011