著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
岸 知二 and 金井 勇人,最優秀賞受賞論文 組込みソフトウェア設計検証へのモデル検査技術の適用と考察,SEC journal,13498622,東京 : 情報処理推進機構技術本部ソフトウェア・エンジニアリング・センター,2008-01,3,4,10-19,https://cir.nii.ac.jp/crid/1523951030879714816,