%0 Journal Article %1 journals/corr/abs-2106-04826 %A Sato, Sota %A Banno, Ryotaro %A Furuse, Jun %A Suenaga, Kohei %A Igarashi, Atsushi %D 2021 %J CoRR %K dblp %T Verification of a Merkle Patricia Tree Library Using F. %U http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-04826 %V abs/2106.04826

@article{journals/corr/abs-2106-04826, added-at = {2021-09-07T00:00:00.000+0200}, author = {Sato, Sota and Banno, Ryotaro and Furuse, Jun and Suenaga, Kohei and Igarashi, Atsushi}, biburl = {https://www.bibsonomy.org/bibtex/225a36db8a99d55e3f4b084054043cf2f/dblp}, ee = {https://arxiv.org/abs/2106.04826}, interhash = {7c36b375569fe26d049af262eb204229}, intrahash = {25a36db8a99d55e3f4b084054043cf2f}, journal = {CoRR}, keywords = {dblp}, timestamp = {2024-04-08T23:31:58.000+0200}, title = {Verification of a Merkle Patricia Tree Library Using F.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr2106.html#abs-2106-04826}, volume = {abs/2106.04826}, year = 2021 }