Thèse de Andrei Arusoaie

A generic framework for symbolic execution with applications to program verification

Jury

Thèse de l'équipe Dreampal soutenue le 27 septembre 2014

Retour vers les autres thèses