著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
"岡本, 圭史",A Case Study : Meyer's Formulation of a Specification and Theorem Proving with an SMT Solver Z3,数理解析研究所講究録,1880-2818,京都大学数理解析研究所,2016-07,2002,,9-18,https://cir.nii.ac.jp/crid/1050845760787753984,