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

PhD Co-Supervision

European Projects

International Working Groups


Past projects

National Projects

PhD Co-Supervision

European Projects

 
 
Logo Twitter
 
Last modified: 2017/05/02 14:44:56.