OASIcs, Volume 95, FMBC 2021

• Bruno Bernardo and Diego Marmsoler OASIcs, Volume 95, FMBC 2021, Complete Volume 10.4230/OASIcs.FMBC.2021
• Bruno Bernardo and Diego Marmsoler Front Matter, Table of Contents, Preface, Conference Organization 10.4230/OASIcs.FMBC.2021.0
• Kinnari Dave, Vilhelm Sjöberg, and Xinyuan Sun Towards Verified Price Oracles for Decentralized Exchange Protocols 10.4230/OASIcs.FMBC.2021.1
• Murdoch J. Gabbay, Arvid Jakobsson, and Kristina Sojakova Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard 10.4230/OASIcs.FMBC.2021.2
• Daniel Britten, Vilhelm Sjöberg, and Steve Reeves Using Coq to Enforce the Checks-Effects-Interactions Pattern in DeepSEA Smart Contracts (Short Paper) 10.4230/OASIcs.FMBC.2021.3
• Sylvain Conchon, Alexandrina Korneva, Çagdas Bozman, Mohamed Iguernlala, and Alain Mebsout Formally Documenting Tenderbake (Short Paper) 10.4230/OASIcs.FMBC.2021.4
• Thi Thu Ha Doan and Peter Thiemann Towards Contract Modules for the Tezos Blockchain (Short Paper) 10.4230/OASIcs.FMBC.2021.5