琉球大学 · 工学部

研究キーワードAgda formalization・proof assistants・program verification・continuation based C・formal methods outreach

ここは公開データのプレビューです。個別の適合理由、連絡角度、保存機能はログイン後に利用できます。

• 公式プロフィール