著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"ICFEM and Merz, Stephan and Pang, Jun","Formal methods and software engineering : 16th international conference on formal engineering methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014 : proceedings",,Springer,2014,Lecture notes in computer science,,9783319117362,,https://cir.nii.ac.jp/crid/1130282269324423552