著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Kazuhiro Inaba and Soichiro Hidaka and Zhenjiang Hu and Hiroyuki Kato and Keisuke Nakano,Graph-transformation verification using monadic second-order logic,Proceedings of the 13th international ACM SIGPLAN symposium on Principles and practices of declarative programming,,ACM,2011-07-20,141,,17-28,https://cir.nii.ac.jp/crid/1360846643546801408,https://doi.org/10.1145/2003476.2003482