著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
網代 育大 and 長 健太 and 上田 和紀,静的解析と制約充足によるプログラム自動デバッグ,コンピュータ ソフトウェア,02896540,日本ソフトウェア科学会,1998-01-16,15,1,1_54-1_58,https://cir.nii.ac.jp/crid/1390001288085124096,https://doi.org/10.11309/jssst.15.1_54