Schlagwort-Archiv: VeriSmart

28 Jun 2019

Software Campus bei DATEV

Erster erfolgreicher Projektabschluss

Jonas Schiffl vom Karlsruher Institut für Technologie (KIT) hat im Rahmen des Software Campus Förderprogramms die Forschung an seiner Masterarbeit „VeriSmart – Spezifikation und funktionale Verifikation von Smart Contracts“ in...

von