Search
 
   

1 result for "domain:univ-orleans.fr"

  1. 2
    Concurrent Program Verification by Code Transformation: Correctness (2017) ☶ pdf c formalmethods univ-orleans.fr
    nickpsecurity avatar via nickpsecurity 6 days ago | cached | no comments