Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
"長野, 伸一 and 吉岡, 信和 and 田原, 康之 and 本位田真一",ソフトウェア設計に対するモデル駆動型検証プロセス,情報処理学会論文誌,1882-7764,東京 : 情報処理学会,2006-01-15,47,1,193-208,https://cir.nii.ac.jp/crid/1050564287836017280,