EasyChair Smart Slide
Foundations and Techniques for the Static Analysis of Ethereum Smart Contracts
Foundations and Techniques for the Static Analysis of Ethereum Smart Contracts