著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"ICFEM and Dong, Jin Song and Woodcock, James","Formal methods and software engineering : 5th International Conference on Formal Engineering Methods, ICFEM 2003, Singapore, November 5-7, 2003 : proceedings",,Springer,2003,Lecture notes in computer science,,354020461X,,https://cir.nii.ac.jp/crid/1130000797173223040