著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"FOSSACS and Birkedal, Lars","Foundations of software science and computational structures : 15th International Conference, FOSSACS 2012, held as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2012, Tallinn, Estonia, March 24 - April 1, 2012, proceedings",,"Springer,",2012,Lecture notes in computer science,,9783642287282,,https://cir.nii.ac.jp/crid/1130000795334418176