| |
| 2004 | ||
|---|---|---|
| 1 | EE | Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Kanda: VeriAgent: an Approach to Integrating UML and Formal Verification Tools. Electr. Notes Theor. Comput. Sci. 95: 111-129 (2004) |
| 1 | Edmund M. Clarke | [1] |
| 2 | Marcia Falcão | [1] |
| 3 | Alex Groce | [1] |
| 4 | Jorge Kanda | [1] |
| 5 | Edjard Mota | [1] |