@inproceedings{DBLP:conf/sac/BistarelliBKM23,
  author       = {Stefano Bistarelli and
                  Andrea Bracciali and
                  Rick Klomp and
                  Ivan Mercanti},
  editor       = {Jiman Hong and
                  Maart Lanperne and
                  Juw Won Park and
                  Tom{\'{a}}s Cern{\'{y}} and
                  Hossain Shahriar},
  title        = {Towards automated verification of Bitcoin-based decentralised applications},
  booktitle    = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing,
                  {SAC} 2023, Tallinn, Estonia, March 27-31, 2023},
  pages        = {262--269},
  publisher    = {{ACM}},
  year         = {2023},
  url          = {https://doi.org/10.1145/3555776.3578996},
  doi          = {10.1145/3555776.3578996},
  timestamp    = {Fri, 21 Jul 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/sac/BistarelliBKM23.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

{"_id":"hoxynPpJv8ihy6J3N","bibbaseid":"bistarelli-bracciali-klomp-mercanti-towardsautomatedverificationofbitcoinbaseddecentralisedapplications-2023","author_short":["Bistarelli, S.","Bracciali, A.","Klomp, R.","Mercanti, I."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Stefano"],"propositions":[],"lastnames":["Bistarelli"],"suffixes":[]},{"firstnames":["Andrea"],"propositions":[],"lastnames":["Bracciali"],"suffixes":[]},{"firstnames":["Rick"],"propositions":[],"lastnames":["Klomp"],"suffixes":[]},{"firstnames":["Ivan"],"propositions":[],"lastnames":["Mercanti"],"suffixes":[]}],"editor":[{"firstnames":["Jiman"],"propositions":[],"lastnames":["Hong"],"suffixes":[]},{"firstnames":["Maart"],"propositions":[],"lastnames":["Lanperne"],"suffixes":[]},{"firstnames":["Juw","Won"],"propositions":[],"lastnames":["Park"],"suffixes":[]},{"firstnames":["Tomás"],"propositions":[],"lastnames":["Cerný"],"suffixes":[]},{"firstnames":["Hossain"],"propositions":[],"lastnames":["Shahriar"],"suffixes":[]}],"title":"Towards automated verification of Bitcoin-based decentralised applications","booktitle":"Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, SAC 2023, Tallinn, Estonia, March 27-31, 2023","pages":"262–269","publisher":"ACM","year":"2023","url":"https://doi.org/10.1145/3555776.3578996","doi":"10.1145/3555776.3578996","timestamp":"Fri, 21 Jul 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/sac/BistarelliBKM23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/sac/BistarelliBKM23,\n author = {Stefano Bistarelli and\n Andrea Bracciali and\n Rick Klomp and\n Ivan Mercanti},\n editor = {Jiman Hong and\n Maart Lanperne and\n Juw Won Park and\n Tom{\\'{a}}s Cern{\\'{y}} and\n Hossain Shahriar},\n title = {Towards automated verification of Bitcoin-based decentralised applications},\n booktitle = {Proceedings of the 38th {ACM/SIGAPP} Symposium on Applied Computing,\n {SAC} 2023, Tallinn, Estonia, March 27-31, 2023},\n pages = {262--269},\n publisher = {{ACM}},\n year = {2023},\n url = {https://doi.org/10.1145/3555776.3578996},\n doi = {10.1145/3555776.3578996},\n timestamp = {Fri, 21 Jul 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/sac/BistarelliBKM23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bistarelli, S.","Bracciali, A.","Klomp, R.","Mercanti, I."],"editor_short":["Hong, J.","Lanperne, M.","Park, J. W.","Cerný, T.","Shahriar, H."],"key":"DBLP:conf/sac/BistarelliBKM23","id":"DBLP:conf/sac/BistarelliBKM23","bibbaseid":"bistarelli-bracciali-klomp-mercanti-towardsautomatedverificationofbitcoinbaseddecentralisedapplications-2023","role":"author","urls":{"Paper":"https://doi.org/10.1145/3555776.3578996"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/53/6380.bib","dataSources":["PCdRvyaDZRZMeqKhf","LXyJ7X9n6g55d9qgh","DjivyTGGA5qit7Mf4","NMm7YpyiDxjcnpopo","WXL4P7BKHQy7Qss6y"],"keywords":[],"search_terms":["towards","automated","verification","bitcoin","based","decentralised","applications","bistarelli","bracciali","klomp","mercanti"],"title":"Towards automated verification of Bitcoin-based decentralised applications","year":2023}