講演・口頭発表等

2021年9月2日

型安全性の証明付きインタプリタのための汎用ライブラリの実装へ向けて,

日本ソフトウェア科学会第38回大会
  • 津山勝輝
  • ,
  • 叢悠悠
  • ,
  • 増原英彦

開催年月日
2021年9月1日 - 2021年9月3日
記述言語
日本語
会議種別
ポスター発表