2007 | ||
---|---|---|
2 | EE | Attila Szegedi, Tamás Gergely, Árpád Beszédes, Tibor Gyimóthy, Gabriella Toth: Verifying the Concept of Union Slices on Java Programs. CSMR 2007: 233-242 |
1 | EE | Árpád Beszédes, Tamás Gergely, Judit Jász, Gabriella Toth, Tibor Gyimóthy, Václav Rajlich: Computation of Static Execute After Relation with Applications to Software Maintenance. ICSM 2007: 295-304 |
1 | Árpád Beszédes | [1] [2] |
2 | Tamás Gergely | [1] [2] |
3 | Tibor Gyimóthy | [1] [2] |
4 | Judit Jász | [1] |
5 | Václav Rajlich (Vaclav Rajlich) | [1] |
6 | Attila Szegedi | [2] |