著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Conference on Integrated Formal Methods and Boiten, Eerke A. and Derrick, John and Smith, Graeme","Integrated formal methods : 4th International Conference, IFM 2004, Canterbury, UK, April 4-7, 2004 : proceedings",,Springer,2004,Lecture notes in computer science,,3540213775,,https://cir.nii.ac.jp/crid/1130000793853148544