@inproceedings{weko_139605_1,
   author	 = "大塚,寛",
   title	 = "協調型言語における試験等価性と失敗等価性の関係とモデル検査への適用",
   booktitle	 = "全国大会講演論文集",
   year 	 = "2010",
   volume	 = "第72回",
   number	 = "ソフトウェア科学・工学",
   pages	 = "285--286
",
   month	 = "mar"
}