@inproceedings{fmbc2021,
  author    = {Sylvain Conchon and
               Alexandrina Korneva and
               {\c{C}}a{\u{g}}da{\c{s}} 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, Los Angeles, California, {USA} (Virtual Conference), July 18-19,
               2021},
  series    = {OASIcs},
  volume    = {95},
  pages     = {4:1--4:9},
  publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
  year      = {2021},
  month     = {July},
  url       = {https://doi.org/10.4230/OASIcs.FMBC.2021.4},
  doi       = {10.4230/OASIcs.FMBC.2021.4},
  biburl    = {https://dblp.org/rec/conf/cav/ConchonKBIM21.bib},
  bibsource = {dblp computer science bibliography, https://dblp.org}
}