Technical Usability Assessment of Security Analysis Tools for Ethereum Based Smart Contracts[C] 2022 IEEE 22ND INTERNATIONAL CONFERENCE ON SOFTWARE QUALITY, RELIABILITY, AND SECURITY COMPANION, QRS-C 2022 Zeeshan, Rana Tal, Irina
