A Formally Verified Static Analysis Framework for Compositional Contracts

Fritz Henglein, Christian Kjær Larsen, Agata Murawska

Publikation: Konferencebidrag › Paper › Forskning › peer review

3 Citationer (Scopus)

411 Downloads (Pure)

Originalsprog	Engelsk
Publikationsdato	2020
Antal sider	18
DOI	https://doi.org/10.1007/978-3-030-54455-3_42
Status	Udgivet - 2020
Begivenhed	4th Workshop on Trusted Smart Contracts - Kota Kinabalu, Sabah, Malaysia Varighed: 14 feb. 2020 → …

Konference	4th Workshop on Trusted Smart Contracts
Land/Område	Malaysia
By	Kota Kinabalu, Sabah
Periode	14/02/2020 → …

Adgang til dokumentet

@conference{8b95f70e1db34223990c8de7d2ae0b27,

title = "A Formally Verified Static Analysis Framework for Compositional Contracts",

author = "Fritz Henglein and Larsen, {Christian Kj{\ae}r} and Agata Murawska",

year = "2020",

doi = "10.1007/978-3-030-54455-3_42",

language = "English",

note = "4th Workshop on Trusted Smart Contracts ; Conference date: 14-02-2020",

}