2015年3月4日 ソフトウェアUI妥当性確認の形式化に向けて 日本ソフトウェア科学会 第17回プログラミングおよびプログラミング言語ワークショップ(PPL 2015)、愛媛県松山市 木下 修司 記述言語 日本語 会議種別 ポスター発表 リンク情報 URLhttp://www-kb.is.s.u-tokyo.ac.jp/ppl2015/
