Public Professor Archive
琉球大学 · 工学部
研究关键词Agda formalization・proof assistants・program verification・continuation based C・formal methods outreach
以下为公开数据预览。个性化匹配理由、联系角度和保存能力需要登录后使用。
个性化匹配理由、联系角度与收藏保存需要登录后使用。
