学術雑誌論文 Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq

朝倉, 泉  ,  Asakura, Izumi  ,  増原, 英彦  ,  Masuhara, Hidehiko  ,  青谷, 知幸  ,  Aotani, Tomoyuki

24 ( No. 1 )  , pp.132 - 140 , 2016-01 , Information Processing Society of Japan
ISSN:1882-6552

このアイテムのアクセス数:  回

その他の情報