Gernot Salzer

Associate Professor

简介

Security of Blockchain Programs (Smart Contracts), Complexity Theory, Automated Reasoning

数据校验于 9/6/2026数据来源

还没有评价。成为第一位分享经验的学生吧。