Formalization of Generic Authenticated Data Structures

From MaRDI portal


MaRDI QIDQ7361206FDO


Authors Matthias Brun, Dmitriy Traytel

Publication date 14 May 2019



Cites work





This page was built for software: Formalization of Generic Authenticated Data Structures

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Formalization_of_Generic_Authenticated_Data_Structures&oldid=105363938"
Powered by MediaWiki