研究者情報 | 神奈川大学

キノシタ　ヨシキ Kinoshita Yoshiki 木下　佳樹所属神奈川大学情報学部計算機科学科神奈川大学大学院理学研究科理学専攻（情報科学領域）職種教授
言語種別	日本語
発行・発表の年月	2009/07
形態種別	その他
標題	Formalization of System LSI Specification and Automatic Generation of Verification Items
執筆形態	共著
掲載誌名	『算譜科学研究速報』（産業技術総合研究所）
巻・号・頁	PS-2009-006
著者・共著者	中野哲・今井林太郎・樋口崇・木下佳樹・岡本圭史・武山誠・安部達也・齋藤正也