著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Brazilian Symposium on Formal Methods and Oliveira, Marcel Vinícius Medeiros and Woodcock, Jim","Formal methods : foundations and applications : 12th Brazilian Symposium on Formal Methods, SBMF 2009, Gramado, Brazil, August 19-21, 2009 : revised selected papers",,Springer,2009,Lecture notes in computer science,,9783642104510,,https://cir.nii.ac.jp/crid/1130000797191656832