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}
}