著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"TACAS and European Conferences on Theory and Practice of Software and Cleaveland, W. R. (Walter Rance)","Tools and algorithms for the construction and analysis of systems : 5th International Conference, TACAS'99, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS'99, Amsterdam, The Netherlands, March 22-28, 1999 : proceedings",,Springer-Verlag,1999,Lecture notes in computer science,,3540657037,,https://cir.nii.ac.jp/crid/1130000795609179520