斯普拉什2024
2024年10月25日星期日至星期五美国加利福尼亚州帕萨迪纳
斯普拉什2024(系列) /马特·格里芬
马特·格里芬

自2022年7月18日星期一起注册用户

姓名：马特·格里芬
国家/地区：大不列颠联合王国
附属：萨里大学
个人网站：https://www.sury.ac.uk/people/matt-griffin网站
研究兴趣：正式验证，Isabelle/HOL，网络安全

贡献

显示其他会议的活动

使用常规配置文件