講演・口頭発表等

2018年

Coqにおける可読性の高い形式的証明に向けて

第20回プログラミングおよびプログラミング言語ワークショップ (PPL 2018)

記述言語
会議種別
ポスター発表