著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI) "山岡, 裕司 and 胡, 振江 and 武市, 正人 and 小川, 瑞史",モデル検査技術を利用したプログラム解析器の生成ツール,情報処理学会論文誌:プログラミング,0387-5806,情報処理学会,2003-10-15,44,SIG13(PRO18),25-37,https://cir.nii.ac.jp/crid/1050564287490537600,