Fritz Henglein, Christian Kjær Larsen, Agata Murawska. A Formally Verified Static Analysis Framework for Compositional Contracts. In Matthew Bernhard, Andrea Bracciali, L. Jean Camp, Shin'ichiro Matsuo, Alana Maurushat, Peter B. Rønne, Massimiliano Sala, editors, Financial Cryptography and Data Security - FC 2020 International Workshops, AsiaUSEC, CoDeFi, VOTING, and WTSC, Kota Kinabalu, Malaysia, February 14, 2020, Revised Selected Papers. Volume 12063 of Lecture Notes in Computer Science, pages 599-619, Springer, 2020. [doi]
Abstract is missing.