著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Workshop on Formal Methods for Industrial Critical Systems and International Workshop on Automated Verification of Critical Systems and Petrucci, Laure and Seceleanu, Cristina and Cavalcanti, Ana","Critical systems : formal methods and automated verification : joint 22nd international workshop on Formal Methods for Industrial Critical Systems and 17th international workshop on Automated Verification of Critical Systems, FMICS-AVoCS 2017, Turin, Italy, September 18-20, 2017 : proceedings",,Springer,2017,Lecture notes in computer science,,9783319671123,,https://cir.nii.ac.jp/crid/1130000794561742208