2016年11月14日
Analysis of Open Systems Dependability Requirements in Agda
12th Theorem Proving and Provers (TPP 2016)、 東京都文京区
- 記述言語
- 日本語
- 会議種別
- 口頭発表（一般）
木下 修司
キノシタ シュウジ (Shuji Kinoshita)
更新日: 04/13