Andreas Lochbihler: Authenticated Data Structures as Functors in Isabelle/HOL (Isabelle 2020)
Channel: IJCAR-FSCD 2020
Date: 2020-07-21

Presented at the Isabelle Workshop 2020, June 30, 2020