JPF−AWT: Model Checking GUI Applications

Bibliografiset tiedot
Päätekijät: Mehlitz, P, Tkachuk, O, Ujma, M
Aineistotyyppi: Conference item
Julkaistu: 2011