- CSB - MetaPress - Google - Bing - Yahoo
 | 2004 | |
|---|---|---|
| 1 |      | 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 | Alex Groce | [1] |
| 3 | Jorge Kanda | [1] |
| 4 | Edjard Mota | [1] |
| 5 | Waleska Oliveira | [1] |