Rodrigo Stevaux

According to our database, Rodrigo Stevaux authored at least 1 paper in 2023.

Collaborative distances:

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

2023

A Formal Model for Startups Financial Transactions.

Rodrigo Stevaux, Ana C. V. de Melo

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023