![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Search dblp for Publications
export results for "toc:db/conf/cav/fmbc2021.bht:"
@inproceedings{DBLP:conf/cav/BrittenSR21, author = {Daniel Britten and Vilhelm Sj{\"{o}}berg and Steve Reeves}, editor = {Bruno Bernardo and Diego Marmsoler}, title = {Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper)}, booktitle = {3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, {USA} (Virtual Conference)}, series = {OASIcs}, volume = {95}, pages = {3:1--3:8}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/OASIcs.FMBC.2021.3}, doi = {10.4230/OASICS.FMBC.2021.3}, timestamp = {Wed, 21 Aug 2024 22:46:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/BrittenSR21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/ConchonKBIM21, author = {Sylvain Conchon and Alexandrina Korneva and {\c{C}}agdas Bozman and Mohamed Iguernlala and Alain Mebsout}, editor = {Bruno Bernardo and Diego Marmsoler}, title = {Formally Documenting Tenderbake (Short Paper)}, booktitle = {3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, {USA} (Virtual Conference)}, series = {OASIcs}, volume = {95}, pages = {4:1--4:9}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/OASIcs.FMBC.2021.4}, doi = {10.4230/OASICS.FMBC.2021.4}, timestamp = {Tue, 30 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/ConchonKBIM21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/DaveSS21, author = {Kinnari Dave and Vilhelm Sj{\"{o}}berg and Xinyuan Sun}, editor = {Bruno Bernardo and Diego Marmsoler}, title = {Towards Verified Price Oracles for Decentralized Exchange Protocols}, booktitle = {3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, {USA} (Virtual Conference)}, series = {OASIcs}, volume = {95}, pages = {1:1--1:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/OASIcs.FMBC.2021.1}, doi = {10.4230/OASICS.FMBC.2021.1}, timestamp = {Tue, 30 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/DaveSS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/Doan021, author = {Thi Thu Ha Doan and Peter Thiemann}, editor = {Bruno Bernardo and Diego Marmsoler}, title = {Towards Contract Modules for the Tezos Blockchain (Short Paper)}, booktitle = {3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, {USA} (Virtual Conference)}, series = {OASIcs}, volume = {95}, pages = {5:1--5:9}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/OASIcs.FMBC.2021.5}, doi = {10.4230/OASICS.FMBC.2021.5}, timestamp = {Tue, 30 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/Doan021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/GabbayJS21, author = {Murdoch James Gabbay and Arvid Jakobsson and Kristina Sojakova}, editor = {Bruno Bernardo and Diego Marmsoler}, title = {Money Grows on (Proof-)Trees: The Formal {FA1.2} Ledger Standard}, booktitle = {3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, {USA} (Virtual Conference)}, series = {OASIcs}, volume = {95}, pages = {2:1--2:14}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/OASIcs.FMBC.2021.2}, doi = {10.4230/OASICS.FMBC.2021.2}, timestamp = {Sat, 09 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/GabbayJS21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/cav/X21, editor = {Bruno Bernardo and Diego Marmsoler}, title = {Front Matter, Table of Contents, Preface, Conference Organization}, booktitle = {3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, {USA} (Virtual Conference)}, series = {OASIcs}, volume = {95}, pages = {0:1--0:12}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://doi.org/10.4230/OASIcs.FMBC.2021.0}, doi = {10.4230/OASICS.FMBC.2021.0}, timestamp = {Tue, 30 Nov 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/cav/X21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/cav/2021fmbc, editor = {Bruno Bernardo and Diego Marmsoler}, title = {3rd International Workshop on Formal Methods for Blockchains, FMBC@CAV 2021, July 18-19, 2021, Los Angeles, California, {USA} (Virtual Conference)}, series = {OASIcs}, volume = {95}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2021}, url = {https://www.dagstuhl.de/dagpub/978-3-95977-209-9}, isbn = {978-3-95977-209-9}, timestamp = {Wed, 21 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/cav/2021fmbc.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.