A Formally Verified Static Analysis Framework for Compositional Contracts
Research output: Contribution to conference › Paper › Research › peer-review
Standard
A Formally Verified Static Analysis Framework for Compositional Contracts. / Henglein, Fritz; Larsen, Christian Kjær; Murawska, Agata .
2020. Paper presented at 4th Workshop on Trusted Smart Contracts, Kota Kinabalu, Sabah, Malaysia.Research output: Contribution to conference › Paper › Research › peer-review
Harvard
Henglein, F, Larsen, CK & Murawska, A 2020, 'A Formally Verified Static Analysis Framework for Compositional Contracts', Paper presented at 4th Workshop on Trusted Smart Contracts, Kota Kinabalu, Sabah, Malaysia, 14/02/2020. https://doi.org/10.1007/978-3-030-54455-3_42
APA
Henglein, F., Larsen, C. K., & Murawska, A. (2020). A Formally Verified Static Analysis Framework for Compositional Contracts. Paper presented at 4th Workshop on Trusted Smart Contracts, Kota Kinabalu, Sabah, Malaysia. https://doi.org/10.1007/978-3-030-54455-3_42
Vancouver
Henglein F, Larsen CK, Murawska A. A Formally Verified Static Analysis Framework for Compositional Contracts. 2020. Paper presented at 4th Workshop on Trusted Smart Contracts, Kota Kinabalu, Sabah, Malaysia. https://doi.org/10.1007/978-3-030-54455-3_42
Author
Bibtex
@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 = "null ; Conference date: 14-02-2020",
}
RIS
TY - CONF
T1 - A Formally Verified Static Analysis Framework for Compositional Contracts
AU - Henglein, Fritz
AU - Larsen, Christian Kjær
AU - Murawska, Agata
PY - 2020
Y1 - 2020
U2 - 10.1007/978-3-030-54455-3_42
DO - 10.1007/978-3-030-54455-3_42
M3 - Paper
Y2 - 14 February 2020
ER -
ID: 239958955