C O N V E C S
Construction of Verified Concurrent Systems
Logo Inria Logo LIG Logo Grenoble INP Logo CNRS Logo UGA
 

National Projects

Bilateral Grants with Industry

PhD Co-Supervision

European Projects

International Working Groups


Past projects

National Projects

Bilateral Grants with Industry

PhD Co-Supervision

European Projects

 
 
Logo Twitter
 
Last modified: 2018/02/06 14:10:41.