Automated verification of blockchain technologies with correctness guarantees

[Free GPT-4]
[PDF] gi.de

Automatisierte Garantierte Blockchain-Technologie Verifizierung

R Otoni - Ausgezeichnete Informatikdissertationen 2023 (Band …, 2024 - dl.gi.de
Blockchain-Technologien haben sowohl in der Wissenschaft als auch in der Industrie große
Aufmerksamkeit auf sich gezogen. Da sie als Mittel zum Halten und Manipulieren von …
Save Cite Related articles All 2 versionsFree GPT-4 View as HTML