GPCE 2021
2021年10月17日星期日至22日星期五美国伊利诺伊州芝加哥
与位于同一位置斯普拉什2021
斯普拉什2021(系列) /GPCE 2021年(系列) /亚历山大·迪莫夫斯基
亚历山大·迪莫夫斯基

自2019年6月15日星期六起注册用户

姓名：亚历山大·迪莫夫斯基
附属：斯科普里特蕾莎修女大学
个人网站：https://aleksdimovski.github.io（https://alleksdimovski.github.io）/
研究兴趣：软件产品线、静态分析、抽象解释、模型检查

贡献

显示其他会议的活动

SPLASH 2021剖面
查看常规配置文件