Conférence invitée de David Monniaux

La troisième conférence invitée prenait la forme d'un tutoriel, donné par David Monniaux et intitulé "SMT-solving initiation". Ses transparents sont disponibles ici.