Publications

Articles

International Conferences: 1

2020

- João F. Ferreira and António Pedro Cruz Monteiro and Thomas Durieux and Rui Abreu, SmartBugs: A Framework to Analyze Solidity Smart Contracts, presented at 35th IEEE/ACM International Conference on Automated Software Engineering, Tool Demo Track, Jul. 2020 [bibTex] [PDF]