Marcia Falcão

Publication Activity (10 Years)

Years Active: 2004-2004
Publications (10 Years): 0

Publications

Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Y. Kanda
VeriAgent: an Approach to Integrating UML and Formal Verification Tools. Electron. Notes Theor. Comput. Sci. 95 (2004)