モリモト ショウイチ   MORIMOTO Shoichi
  森本 祥一
   所属   専修大学  経営学部
   職種   教授
発表年月日 2007/03/02
発表テーマ データベースを用いた実用的な形式的検証環境の実現
会議名 電子情報通信学会 第18回データ工学ワークショップ 第5回 日本データベース学会年次大会 (DEWS 2007)
主催者 電子情報通信学会,日本データベース学会
学会区分 全国学会
発表形式 口頭(一般)
単独共同区分 単独
開催地名 広島プリンスホテル(広島県広島市)