@techreport{weko_141251_1,
   author	 = "小嶋,一成 and 大久保,弘崇 and 粕谷,英人 and 山本,晋一郎",
   title	 = "代数データ型によるC言語プログラムのモデル化",
   year 	 = "2015",
   institution	 = "愛知県立大学情報科学部, 愛知県立大学情報科学部, 愛知県立大学情報科学部, 愛知県立大学情報科学部",
   number	 = "24",
   month	 = "mar"
}