[PhD offer] Leveraging Automatic Deduction for Verification

See the pdf for a full description of the subject: SMT-TLA

En ce moment

Colloquium Loria 2018

Exposés précédents

Logo du CNRS
Logo Inria
Logo Université de Lorraine