@article{weko_101711_1,
   author	 = "寺田,夏樹",
   title	 = "信号装置仕様の検証を通じたBメソッドにおける仕様記述法の検討",
   journal	 = "情報処理学会論文誌プログラミング（PRO）",
   year 	 = "2014",
   volume	 = "7",
   number	 = "2",
   pages	 = "20--35",
   month	 = "jun"
}