Home >

news Help

Publication Information


Title
Japanese:GPGPUのための並行分離論理のCoqによる健全性証明 
English: 
Author
Japanese: 朝倉泉, 増原英彦, 青谷知幸.  
English: Izumi Asakura, Hidehiko Masuhara, Tomoyuki Aotani.  
Language Japanese 
Journal/Book name
Japanese:情報処理学会 
English: 
Volume, Number, Page         pp. 2015-1-（4）
Published date June 2015 
Publisher
Japanese: 
English: 
Conference name
Japanese:情報処理学会第104回プログラミング研究会 
English: 
Conference site
Japanese:富山県富山市 
English: 

©2007 Tokyo Institute of Technology All rights reserved.