Iverson Pereira

According to our database, Iverson Pereira authored at least 1 paper in 2016.

Collaborative distances:

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

2016

An Approach for Verifying Educational Robots.

Sidney C. Nogueira, Taciana Pontual Falcão, Alexandre Mota, Emanuel Oliveira, Itamar Moraes, Iverson Pereira

Proceedings of the Formal Methods: Foundations and Applications - 19th Brazilian Symposium, 2016