Diogo Raphael Cravo

According to our database, Diogo Raphael Cravo authored at least 1 paper in 2021.

Collaborative distances:

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

2021

Module Integration Using Graph Grammars (MIGRATE).

Diogo Raphael Cravo, Leila Ribeiro

Proceedings of the Formal Methods: Foundations and Applications - 24th Brazilian Symposium, 2021