著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Paolo Arcaini and Angelo Gargantini and Elvinia Riccobene,SMT-Based Automatic Proof of ASM Model Refinement,Lecture Notes in Computer Science,0302-9743,Springer International Publishing,2016,,,253-269,https://cir.nii.ac.jp/crid/1363670321118918784,https://doi.org/10.1007/978-3-319-41591-8_17