2018年SPLASH
2018年11月9日星期日至星期五美国马萨诸塞州波士顿
2018年SPLASH(系列) /大卫·斯瓦西
大卫·斯瓦西

自2017年10月27日星期五起注册用户

姓名：大卫·斯瓦西
国家/地区：德国
附属：MPI-SWS公司
个人网站：网址：https://people.mpi-sws.org/~斯瓦西/
研究兴趣：编程语言、安全和隐私、验证

贡献

显示其他会议的活动

SPLASH 2018-简介
查看常规配置文件