%0 Conference Paper %1 conf/fc/Banach19 %A Banach, Richard %B Financial Cryptography Workshops %D 2019 %E Bracciali, Andrea %E Clark, Jeremy %E Pintore, Federico %E Rønne, Peter B. %E Sala, Massimiliano %I Springer %K dblp %P 106-121 %T Verification-Led Smart Contracts. %U http://dblp.uni-trier.de/db/conf/fc/fc2019w.html#Banach19 %V 11599 %@ 978-3-030-43725-1

@inproceedings{conf/fc/Banach19, added-at = {2020-03-13T00:00:00.000+0100}, author = {Banach, Richard}, biburl = {https://www.bibsonomy.org/bibtex/250031aa841b810e20fb2131a51c7c80e/dblp}, booktitle = {Financial Cryptography Workshops}, crossref = {conf/fc/2019w}, editor = {Bracciali, Andrea and Clark, Jeremy and Pintore, Federico and Rønne, Peter B. and Sala, Massimiliano}, ee = {https://doi.org/10.1007/978-3-030-43725-1_9}, interhash = {a863b71337ff9caf2661319472f3e890}, intrahash = {50031aa841b810e20fb2131a51c7c80e}, isbn = {978-3-030-43725-1}, keywords = {dblp}, pages = {106-121}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T10:19:26.000+0200}, title = {Verification-Led Smart Contracts.}, url = {http://dblp.uni-trier.de/db/conf/fc/fc2019w.html#Banach19}, volume = 11599, year = 2019 }