@inproceedings{weko_95548_1,
   author	 = "石井,正樹 and 養安,元気 and 井出,真広 and 菅谷,みどり and 倉光,君郎",
   title	 = "保証ケースにもとづく品質管理されたスクリプト処理系",
   booktitle	 = "第54回プログラミング･シンポジウム予稿集",
   year 	 = "2013",
   volume	 = "2013",
   number	 = "",
   pages	 = "191--191",
   month	 = "jan"
}