Bruno Dia

Publication Activity (10 Years)

Years Active: 2021-2021
Publications (10 Years): 1

Top Topics

Smart Environments

Empirical Evaluation

Top Venues

Publications

Bruno Dia, Naghmeh Ramezani Ivaki, Nuno Laranjeiro
An Empirical Evaluation of the Effectiveness of Smart Contract Verification Tools. PRDC (2021)