Bruno Dia

According to our database, Bruno Dia authored at least 1 paper in 2021.

Collaborative distances:

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

2021

An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools.

Bruno Dia, Naghmeh Ramezani Ivaki, Nuno Laranjeiro

Proceedings of the 26th IEEE Pacific Rim International Symposium on Dependable Computing, 2021