2015年11月17日
Formal Assurance Case in Agda (FACIA)
2nd International Workshop on Argument for Agreement and Assurance (AAA 2015), Yokohama (Japan)
- 記述言語
- 英語
- 会議種別
- ポスター発表
木下 修司
キノシタ シュウジ (Shuji Kinoshita)
更新日: 11/18