著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"CAV (Conference) and Bochmann, Gregor V. and Probst, David Karl","Computer aided verification : Fourth International Workshop, CAV '92, Montreal, Canada, June 29-July 1, 1992 : proceedings",,Springer-Verlag,1993,Lecture notes in computer science,,"0387564969,3540564969",,https://cir.nii.ac.jp/crid/1130000793879368320