著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Clark Barrett and Sergey Berezin,CVC Lite: A New Implementation of the Cooperating Validity Checker,Lecture Notes in Computer Science,0302-9743,Springer Berlin Heidelberg,2004,,,515-518,https://cir.nii.ac.jp/crid/1362825894741050496,https://doi.org/10.1007/978-3-540-27813-9_49