JPF−AWT: Model Checking GUI Applications

Մատենագիտական մանրամասներ
Հիմնական հեղինակներ: Mehlitz, P, Tkachuk, O, Ujma, M
Ձևաչափ: Conference item
Հրապարակվել է: 2011