Waleska Oliveira

According to our database, Waleska Oliveira authored at least 1 paper in 2003.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2003

VeriAgent: an Approach to Integrating UML and Formal Verification Tools.

Edjard Mota, Edmund M. Clarke, Alex Groce, Waleska Oliveira, Marcia Falcão, Jorge Y. Kanda

Proceedings of the 6th Brazilian Workshop on Formal Methods, 2003