Verification of a Merkle Patricia Tree Library Using F (bibtex)

by Sota Sato, Ryotaro Banno, Junji Furuse, Kohei Suenaga and Atsushi Igarashi

Reference:

Verification of a Merkle Patricia Tree Library Using F (Sota Sato, Ryotaro Banno, Junji Furuse, Kohei Suenaga and Atsushi Igarashi), In ArXiv, volume abs/2106.04826, 2021.

Bibtex Entry:

@article{Sato2021VerificationOA,
  title={Verification of a Merkle Patricia Tree Library Using F},
  author={Sota Sato and Ryotaro Banno and Junji Furuse and Kohei Suenaga and Atsushi Igarashi},
  journal={ArXiv},
  year={2021},
  volume={abs/2106.04826}
}