著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"NFM (Symposium) and Barrett, Clark and Davies, Misty and Kahsai, Temesghen","NASA Formal Methods : 9th International Symposium, NFM 2017, Moffett Field, CA, USA, May 16-18, 2017 : proceedings",,Springer,2017,Lecture notes in computer science,,9783319572871,,https://cir.nii.ac.jp/crid/1130000796362949248