Fran├žais Anglais
Accueil Annuaire Plan du site
Research results
Contract / grant for group Verification of Algorithms, Languages and Systems
GDR7161/G673

Subvention
Oct 2018 - Dec 2018

Group : Verification of Algorithms, Languages and Systems
Principal investigator : BALABONSKI Thibaut

Administrator : 
Affiliation : CNRS

GDR7161/G673



Research activities
  Automated Proof, SMT and Applications

Participants


Contracts & grants
° SESAME DIGIPODS UPS
REMOTE COLLABORATIVE INTERACTION AMONG HETEROGENEOUS VISUALIZATION PLATFORMS
REGION IDF

° NEXT
NEXT