SolidiKey Asset Flow Verification at scale
Forskningsprojekt, 2022
– 2023
Beskrivning saknas.
Deltagare
Wolfgang Ahrendt (kontakt)
Chalmers, Data- och informationsteknik, Formella metoder
Finansiering
Ethereum Foundation
Projekt-id: FY22-0641
Finansierar Chalmers deltagande under 2022–2023