招待有り 2016年 形式仕様記述を用いたモデルベースのソフトウェア検証技術 ベリサーブ アカデミック イニシアティブ 2016 in 大阪 横川 智教 記述言語 日本語 会議種別 公開講演，セミナー，チュートリアル，講習，講義等
