Ein Blick auf Smart Contracts, ihre Mechanik, Vorteile und Sicherheitsbedenken.
― 6 min Lesedauer
Reiner Hähnle
Ein Blick darauf, wie Trace-Logik bei der Überprüfung von rekursiven Programmen hilft.
― 7 min Lesedauer
Hochmoderne Wissenschaft einfach erklärt
Ein Blick auf Smart Contracts, ihre Mechanik, Vorteile und Sicherheitsbedenken.
― 6 min Lesedauer
Ein Blick darauf, wie Trace-Logik bei der Überprüfung von rekursiven Programmen hilft.
― 7 min Lesedauer