著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"ICFEM and Liu, Zhiming and He, Jifeng","Formal methods and software engineering : 8th International Conference on Formal Engineering Methods, ICFEM 2006, Macao, China, November 1-3, 2006 : proceedings",,Springer,2006,Lecture notes in computer science,,9783540474609,,https://cir.nii.ac.jp/crid/1130000797368481024