著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Workshop on Formal Methods for Industrial Critical Systems and Alpuente, María and Cook, Byron and Joubert, Christophe","Formal methods for industrial critical systems : 14th international workshop, FMICS 2009, Eindhoven, the Netherlands, November 2-3, 2009 : proceedings",,Springer,2009,Lecture notes in computer science,,9783642045691,,https://cir.nii.ac.jp/crid/1130000794682449536