Christakis, Maria Group M. Christakis, Max Planck Institute for Software Systems, Max Planck Society;
Wesley, S., Christakis, M., Navas, J. A., Trefler, R. J., Wüstholz, V., & Gurfinkel, A. (2021). Compositional Verification of Smart Contracts Through Communication Abstraction. In C. Drăgoi, S. Mukherjee, & K. Namjoshi (Eds.), Static Analysis (pp. 429-452). Berlin: Springer. doi:10.1007/978-3-030-88806-0_21.