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 Gastautor:in