JPF−AWT: Model Checking GUI Applications

Podrobná bibliografie
Hlavní autoři: Mehlitz, P, Tkachuk, O, Ujma, M
Médium: Conference item
Vydáno: 2011