%0 Conference Paper %1 conf/isola/BernardoCCJPT20 %A Bernardo, Bruno %A Cauderlier, Raphaël %A Claret, Guillaume %A Jakobsson, Arvid %A Pesin, Basile %A Tesson, Julien %B ISoLA (3) %D 2020 %E Margaria, Tiziana %E Steffen, Bernhard %I Springer %K dblp %P 60-72 %T Making Tezos Smart Contracts More Reliable with Coq. %U http://dblp.uni-trier.de/db/conf/isola/isola2020-3.html#BernardoCCJPT20 %V 12478 %@ 978-3-030-61467-6

@inproceedings{conf/isola/BernardoCCJPT20, added-at = {2020-10-28T00:00:00.000+0100}, author = {Bernardo, Bruno and Cauderlier, Raphaël and Claret, Guillaume and Jakobsson, Arvid and Pesin, Basile and Tesson, Julien}, biburl = {https://www.bibsonomy.org/bibtex/280be58752513de8989b11dd55454b747/dblp}, booktitle = {ISoLA (3)}, crossref = {conf/isola/2020-3}, editor = {Margaria, Tiziana and Steffen, Bernhard}, ee = {https://doi.org/10.1007/978-3-030-61467-6_5}, interhash = {4573ee758ec2d07a886aa500b5aff309}, intrahash = {80be58752513de8989b11dd55454b747}, isbn = {978-3-030-61467-6}, keywords = {dblp}, pages = {60-72}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2020-10-29T11:34:56.000+0100}, title = {Making Tezos Smart Contracts More Reliable with Coq.}, url = {http://dblp.uni-trier.de/db/conf/isola/isola2020-3.html#BernardoCCJPT20}, volume = 12478, year = 2020 }