著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"ICFEM and Breitman, Karin and Cavalcanti, Ana","Formal methods and software engineering : 11th International Conference on Formal Engineering Methods, ICFEM 2009, Rio de Janeiro, Brazil, December 9-12, 2009 : proceedings",,Springer,2009,Lecture notes in computer science,,9783642103728,,https://cir.nii.ac.jp/crid/1130282270686894080