Author,Title,Journal,ISSN,Publisher,Date,Volume,Number,Page,URL,URL(DOI)
Asakura Izumi and Masuhara Hidehiko and Aotani Tomoyuki,Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq,Journal of Information Processing,1882-6652,Information Processing Society of Japan,2016,24,1,132-140,https://cir.nii.ac.jp/crid/1390001205294950656,https://doi.org/10.2197/ipsjjip.24.132