情報処理学会コンピュータサイエンス領域奨励賞, 朝倉泉, 2016, GPGPUのための並行分離論理のCoqによる健全性証明

Please wait while you are redirected...or Click Here if you do not want to wait.
2016-10-26.
→
←