著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"International Symposium of Formal Methods Europe and Havelund, Klaus","Formal methods : 22nd International Symposium, FM 2018, held as part of the Federated Logic Conference, FloC 2018, Oxford, UK, July 15-17, 2018 : proceedings",,Springer,2018,Lecture notes in computer science,,9783319955810,,https://cir.nii.ac.jp/crid/1130282269231148032