Conference Paper GPGPUのための並行分離論理のCoqによる健全性証明

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

Number of accesses :  

Other information