著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Integrated Formal Methods and Grieskamp, Wolfgang and Santen, Thomas and Stoddart, Bill","Integrated formal methods : second International Conference, IFM 2000, Dagstuhl Castle, Germany, November 1-3, 2000 : proceedings",,Springer,2000,Lecture notes in computer science,,3540411968,,https://cir.nii.ac.jp/crid/1130282268939720320