JPF−AWT: Model Checking GUI Applications

Detalhes bibliográficos
Main Authors: Mehlitz, P, Tkachuk, O, Ujma, M
Formato: Conference item
Publicado em: 2011