Offre de thèse : Leveraging Automatic Deduction for Verification

La description entière de l’offre est disponible ici.

En ce moment

Colloquium Loria 2018

Exposés précédents

Logo du CNRS
Logo Inria
Logo Université de Lorraine