Inproceedings,
Towards automated verification of Bitcoin-based decentralised applications.
S. Bistarelli, A. Bracciali, R. Klomp, and I. Mercanti.SAC, page 262-269. ACM, (2023)
Meta data
- BibTeX key
- conf/sac/BistarelliBKM23
- entry type
- inproceedings
- booktitle
- SAC
- year
- 2023
- pages
- 262-269
- publisher
- ACM
- crossref
- conf/sac/2023
- ee
- https://doi.org/10.1145/3555776.3578996
- isbn
- 978-1-4503-9517-5
- url
- http://dblp.uni-trier.de/db/conf/sac/sac2023.html#BistarelliBKM23
Tags
Users
Comments and Reviewsshow / hide
Cite this publication
More citation styles
- please select -%0 Conference Paper
%1 conf/sac/BistarelliBKM23
%A Bistarelli, Stefano
%A Bracciali, Andrea
%A Klomp, Rick
%A Mercanti, Ivan
%B SAC
%D 2023
%E Hong, Jiman
%E Lanperne, Maart
%E Park, Juw Won
%E Cerný, Tomás
%E Shahriar, Hossain
%I ACM
%K dblp
%P 262-269
%T Towards automated verification of Bitcoin-based decentralised applications.
%U http://dblp.uni-trier.de/db/conf/sac/sac2023.html#BistarelliBKM23
%@ 978-1-4503-9517-5
@inproceedings{conf/sac/BistarelliBKM23,
added-at = {2023-07-21T00:00:00.000+0200},
author = {Bistarelli, Stefano and Bracciali, Andrea and Klomp, Rick and Mercanti, Ivan},
biburl = {https://www.bibsonomy.org/bibtex/2743754d36edac01288ac2c49a7a8443a/dblp},
booktitle = {SAC},
crossref = {conf/sac/2023},
editor = {Hong, Jiman and Lanperne, Maart and Park, Juw Won and Cerný, Tomás and Shahriar, Hossain},
ee = {https://doi.org/10.1145/3555776.3578996},
interhash = {311f213e99140cc398ea70dfa4a57672},
intrahash = {743754d36edac01288ac2c49a7a8443a},
isbn = {978-1-4503-9517-5},
keywords = {dblp},
pages = {262-269},
publisher = {ACM},
timestamp = {2024-04-09T12:17:38.000+0200},
title = {Towards automated verification of Bitcoin-based decentralised applications.},
url = {http://dblp.uni-trier.de/db/conf/sac/sac2023.html#BistarelliBKM23},
year = 2023
}