著者名,書名,版表示,出版者名,出版年,シリーズ名,番号,ISBN,ISSN,URL
"FMCAD (Conference) and Hunt, Warren A. and Johnson, Steven D. (Steven Dexter)","Formal methods in computer-aided design : third international conference, FMCAD 2000, Austin, TX, USA, November 1-3, 2000 : proceedings",,Springer,2000,Lecture notes in computer science,,3540412190,,https://cir.nii.ac.jp/crid/1130282269160713216