Search
 
   

1 result for "domain:fos.kuis.kyoto-u.ac.jp"

  1. 1
    Automated Verification of Functional Correctness of Race-Free GPU Programs (2017) ☶ pdf c formalmethods graphics fos.kuis.kyoto-u.ac.jp
    nickpsecurity avatar via nickpsecurity 6 months ago | cached | no comments