%0 Conference Paper %1 conf/ccs/BartolettiZ18 %A Bartoletti, Massimo %A Zunino, Roberto %B ACM Conference on Computer and Communications Security %D 2018 %E Lie, David %E Mannan, Mohammad %E Backes, Michael %E Wang, XiaoFeng %I ACM %K dblp %P 83-100 %T BitML: A Calculus for Bitcoin Smart Contracts. %U http://dblp.uni-trier.de/db/conf/ccs/ccs2018.html#BartolettiZ18 %@ 978-1-4503-5693-0

@inproceedings{conf/ccs/BartolettiZ18, added-at = {2018-11-21T00:00:00.000+0100}, author = {Bartoletti, Massimo and Zunino, Roberto}, biburl = {https://www.bibsonomy.org/bibtex/216efb9881a3576027f6840c55e244b3f/dblp}, booktitle = {ACM Conference on Computer and Communications Security}, crossref = {conf/ccs/2018}, editor = {Lie, David and Mannan, Mohammad and Backes, Michael and Wang, XiaoFeng}, ee = {https://doi.org/10.1145/3243734.3243795}, interhash = {7fb519f88127f68cb75b6989d2b1462a}, intrahash = {16efb9881a3576027f6840c55e244b3f}, isbn = {978-1-4503-5693-0}, keywords = {dblp}, pages = {83-100}, publisher = {ACM}, timestamp = {2020-11-11T11:38:38.000+0100}, title = {BitML: A Calculus for Bitcoin Smart Contracts.}, url = {http://dblp.uni-trier.de/db/conf/ccs/ccs2018.html#BartolettiZ18}, year = 2018 }