講演・口頭発表等

2011年9月

OCamlと定理証明支援系Coqの組込み開発への応用を目指して (ポスター)

組込みシステム技術に関するサマーワークショップ (SWEST13)