著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
渡邉 勝正 and 井上 晶広 and 伴野 充 and 蔵川 圭 and 中西 正樹 and 山下 茂,続・システム検証の科学技術 能動関数によるアサーション検証設計,コンピュータ ソフトウェア,02896540,日本ソフトウェア科学会,2005,22,3,76-91,https://cir.nii.ac.jp/crid/1390001204738279808,https://doi.org/10.11309/jssst.22.3_76