情報処理学会論文賞, 朝倉泉他, 2018, Proof of Soundness of Concurrent Separation Logic for GPGPU in Coq

Please wait while you are redirected...or Click Here if you do not want to wait.
2019-06-05.
→
←