JPF−AWT: Model Checking GUI Applications

Bibliográfalaš dieđut
Váldodahkkit: Mehlitz, P, Tkachuk, O, Ujma, M
Materiálatiipa: Conference item
Almmustuhtton: 2011