著者名,論文名,雑誌名,ISSN,出版者名,出版日付,巻,号,ページ,URL,URL(DOI)
Carolyn Jane Anderson and Nate Foster and Arjun Guha and Jean-Baptiste Jeannin and Dexter Kozen and Cole Schlesinger and David Walker,NetKAT,ACM SIGPLAN Notices,0362-1340,Association for Computing Machinery (ACM),2014-01-08,49,1,113-126,https://cir.nii.ac.jp/crid/1363670321322954624,https://doi.org/10.1145/2578855.2535862