著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
BARRETT C. W.,CVC Lite : A new implementation of the cooperating validity checker category B,"CAV, 2004",,,2004,,,515-518,https://cir.nii.ac.jp/crid/1571417126223739776,