著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Cerone, Antonio and InSuEdu (Symposium) and MoKMaSD (Symposium) and OpenCert (Symposium) and International Conference on Software Engineering and Formal Methods","Information technology and open source : applications for education, innovation, and sustainability : SEFM 2012 Satellite Events, InSuEdu, MoKMaDS, and OpenCert, Thessaloniki, Greece, October 1-2, 2012, revised selected papers",,Springer,2014,Lecture notes in computer science,,9783642543371,,https://cir.nii.ac.jp/crid/1130000794335380736