講演・口頭発表等

招待有り
2014年9月

プログラム検証とインバリアント生成

ソフトウェア科学会第31回全国大会
  • 寺内 多智弘

記述言語
日本語
会議種別
口頭発表(招待・特別)