@incollection{Henglein_2020,
    Author = {Henglein, Fritz and Larsen, Christian Kj{\ae}r and Murawska, Agata},
    BookTitle = {Financial Cryptography and Data Security},
    File = {A\_Formally\_Verified\_Static\_Analysis\_Framework\_for\_Compositional\_Contracts - a.pdf},
    Pages = {599--619},
    Publisher = {Springer International Publishing},
    Title = {A Formally Verified Static Analysis Framework for Compositional Contracts},
    URL = {https://doi.org/10.1007\%2F978-3-030-54455-3\_42},
    Year = {2020},
    bdsk-url-1 = {https://doi.org/10.1007\%2F978-3-030-54455-3\_42},
    bdsk-url-2 = {https://doi.org/10.1007/978-3-030-54455-3\_42},
    date-added = {2021-03-29 21:27:33 +0200},
    date-modified = {2021-03-29 21:27:33 +0200},
    doi = {10.1007/978-3-030-54455-3_42}
}

@incollection{Henglein_2020, Author = {Henglein, Fritz and Larsen, Christian Kj{\ae}r and Murawska, Agata}, BookTitle = {Financial Cryptography and Data Security}, File = {A_Formally_Verified_Static_Analysis_Framework_for_Compositional_Contracts - a.pdf}, Pages = {599--619}, Publisher = {Springer International Publishing}, Title = {A Formally Verified Static Analysis Framework for Compositional Contracts}, URL = {https://doi.org/10.1007\%2F978-3-030-54455-3_42}, Year = {2020}, bdsk-url-1 = {https://doi.org/10.1007\%2F978-3-030-54455-3_42}, bdsk-url-2 = {https://doi.org/10.1007/978-3-030-54455-3_42}, date-added = {2021-03-29 21:27:33 +0200}, date-modified = {2021-03-29 21:27:33 +0200}, doi = {10.1007/978-3-030-54455-3_42} }