招待有り 2017年11月9日 博士論文紹介:Supporting Planning and Refactoring of Refinement Structure of Event-B Models 第197回ソフトウェア工学研究発表会 小林 努 記述言語 日本語 会議種別 口頭発表(招待・特別)