@techreport{weko_95551_1, author = "渡邊,健太 and チャン,ヘジン and 櫻井,孝平 and 山根,智", title = "組込みCISCアセンブリプログラムの記号モデル検査", year = "2013", institution = "金沢大学大学院自然科学研究科電子情報科学専攻, 金沢大学大学院自然科学研究科電子情報科学専攻, 金沢大学理工研究域電子情報科学系, 金沢大学理工研究域電子情報科学系", number = "1", month = "oct" }