TY - THES DP - http://www.theses.fr/2017AZUR4009 TI - Adéquation algorithme architecture automatisée par solveur SMT AU - Kofman, Émilien A3 - Simone, Robert de; Verdier, François PY - 2017 N1 - Thèse de doctorat Informatique Université Côte d'Azur (ComUE) 2017 N1 - 2017AZUR4009 UR - http://www.theses.fr/2017AZUR4009/document ER -