JPF−AWT: Model Checking GUI Applications
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
2011
|
| _version_ | 1797094808908464128 |
|---|---|
| author | Mehlitz, P Tkachuk, O Ujma, M |
| author_facet | Mehlitz, P Tkachuk, O Ujma, M |
| author_sort | Mehlitz, P |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T04:19:10Z |
| format | Conference item |
| id | oxford-uuid:ca6c15a4-d34c-440d-acae-3eee6d4c050c |
| institution | University of Oxford |
| last_indexed | 2024-03-07T04:19:10Z |
| publishDate | 2011 |
| record_format | dspace |
| spelling | oxford-uuid:ca6c15a4-d34c-440d-acae-3eee6d4c050c2022-03-27T07:07:20ZJPF−AWT: Model Checking GUI ApplicationsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:ca6c15a4-d34c-440d-acae-3eee6d4c050cDepartment of Computer Science2011Mehlitz, PTkachuk, OUjma, M |
| spellingShingle | Mehlitz, P Tkachuk, O Ujma, M JPF−AWT: Model Checking GUI Applications |
| title | JPF−AWT: Model Checking GUI Applications |
| title_full | JPF−AWT: Model Checking GUI Applications |
| title_fullStr | JPF−AWT: Model Checking GUI Applications |
| title_full_unstemmed | JPF−AWT: Model Checking GUI Applications |
| title_short | JPF−AWT: Model Checking GUI Applications |
| title_sort | jpf awt model checking gui applications |
| work_keys_str_mv | AT mehlitzp jpfawtmodelcheckingguiapplications AT tkachuko jpfawtmodelcheckingguiapplications AT ujmam jpfawtmodelcheckingguiapplications |