Christakis, Maria Group M. Christakis, Max Planck Institute for Software Systems, Max Planck Society;
Wesley, S., Christakis, M., Navas, J. A., Trefler, R., Wüstholz, V., & Gurfinkel, A. (2022). Verifying Solidity Smart Contracts via Communication Abstraction in SmartACE. In B. Finkbeiner, & T. Wies (Eds.), Verification, Model Checking, and Abstract Interpretation (pp. 425-449). Berlin: Springer. doi:10.1007/978-3-030-94583-1_21.