JPF−AWT: Model Checking GUI Applications

מידע ביבליוגרפי
Main Authors: Mehlitz, P, Tkachuk, O, Ujma, M
פורמט: Conference item
יצא לאור: 2011