@techreport{weko_157723_1,
   author	 = "伊達,弘明 and 吉浦,紀晃",
   title	 = "NetCoreプログラムのCoqによる検証",
   year 	 = "2016",
   institution	 = "埼玉大学工学部情報システム工学科, 埼玉大学工学部情報システム工学科",
   number	 = "38",
   month	 = "feb"
}