@inproceedings{weko_174350_1,
   author	 = "栗田,太郎",
   title	 = "厳密な仕様の記述における工夫と課題 ～形式仕様記述の適用と，対話を通して考えてきたこと～",
   booktitle	 = "ソフトウェアエンジニアリングシンポジウム2016論文集",
   year 	 = "2016",
   volume	 = "2016",
   number	 = "",
   pages	 = "3--3",
   month	 = "aug"
}