著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"Aichernig, Bernhard K. and Maibaum, Tom and Anniversary Colloquium of UNU/IIST","Formal methods at the crossroads : from panacea to foundational support : 10th Anniversary Colloquium of UNU/IIST, the International Institute for Software Technology of the United Nations University, Lisbon, Portugal, March 18-20, 2002 : revised papers",,Springer,2003,Lecture notes in computer science,,3540205276,,https://cir.nii.ac.jp/crid/1130282268792522368