著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Byron Cook and Andreas Podelski and Andrey Rybalchenko,Termination proofs for systems code,ACM SIGPLAN Notices,0362-1340,Association for Computing Machinery (ACM),2006-06-11,41,6,415-426,https://cir.nii.ac.jp/crid/1363670319006609792,https://doi.org/10.1145/1133255.1134029