著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"ICFEM and Butler, Michael and Hinchey, Michael G. (Michael Gerard) and Larrondo-Petrie, María M.","Formal methods and software engineering : 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007 : proceedings",,Springer,2007,Lecture notes in computer science,,9783540766483,,https://cir.nii.ac.jp/crid/1130282270084851712