R. Marinho

According to our database, R. Marinho authored at least 1 paper in 2018.

Collaborative distances:

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

2018

Analysing RoboChart with Probabilities.

Madiel S. Conserva Filho, R. Marinho, Alexandre Mota, Jim Woodcock

Proceedings of the Formal Methods: Foundations and Applications - 21st Brazilian Symposium, 2018