BitML: a calculus for Bitcoin smart contracts. Bartoletti, M. & Zunino, R. IACR Cryptol. ePrint Arch., 2018. Paper bibtex @article{DBLP:journals/iacr/BartolettiZ18,
author = {Massimo Bartoletti and
Roberto Zunino},
title = {BitML: a calculus for Bitcoin smart contracts},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {122},
year = {2018},
url = {http://eprint.iacr.org/2018/122},
timestamp = {Mon, 11 May 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BartolettiZ18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"m953rXWtJw7MHoDkC","bibbaseid":"bartoletti-zunino-bitmlacalculusforbitcoinsmartcontracts-2018","downloads":0,"creationDate":"2018-10-04T11:57:50.145Z","title":"BitML: a calculus for Bitcoin smart contracts","author_short":["Bartoletti, M.","Zunino, R."],"year":2018,"bibtype":"article","biburl":"http://dltgroup.dmi.unipg.it/temp_files/global.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Bartoletti"],"suffixes":[]},{"firstnames":["Roberto"],"propositions":[],"lastnames":["Zunino"],"suffixes":[]}],"title":"BitML: a calculus for Bitcoin smart contracts","journal":"IACR Cryptol. ePrint Arch.","pages":"122","year":"2018","url":"http://eprint.iacr.org/2018/122","timestamp":"Mon, 11 May 2020 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/iacr/BartolettiZ18.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/iacr/BartolettiZ18,\n author = {Massimo Bartoletti and\n Roberto Zunino},\n title = {BitML: a calculus for Bitcoin smart contracts},\n journal = {{IACR} Cryptol. ePrint Arch.},\n pages = {122},\n year = {2018},\n url = {http://eprint.iacr.org/2018/122},\n timestamp = {Mon, 11 May 2020 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/iacr/BartolettiZ18.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Bartoletti, M.","Zunino, R."],"key":"DBLP:journals/iacr/BartolettiZ18","id":"DBLP:journals/iacr/BartolettiZ18","bibbaseid":"bartoletti-zunino-bitmlacalculusforbitcoinsmartcontracts-2018","role":"author","urls":{"Paper":"http://eprint.iacr.org/2018/122"},"metadata":{"authorlinks":{}}},"search_terms":["bitml","calculus","bitcoin","smart","contracts","bartoletti","zunino"],"keywords":[],"authorIDs":[],"dataSources":["SjN5QvQnwzXZgxsKq","p8HMHiPQquNz6L5bn","PCdRvyaDZRZMeqKhf"]}