著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
山本 修一郎,独立検証及び妥当性確認と形式手法がもたらす<BR>ソフトウェア開発プロセスの高信頼化,SEC journal,13498622,独立行政法人 情報処理推進機構 ソフトウェア高信頼化センター,2010,6,3,146-149,https://cir.nii.ac.jp/crid/1390282680240262912,https://doi.org/10.11186/secjournal.6.146