@PHDTHESIS{kofma2017,
url = "http://www.theses.fr/2017AZUR4009",
title = "Adéquation algorithme architecture automatisée par solveur SMT",
author = "Kofman, Émilien",
year = "2017",
note = "Thèse de doctorat dirigée par Simone, Robert de et Verdier, François Informatique Université Côte d'Azur (ComUE) 2017",
note = "2017AZUR4009",
url = "http://www.theses.fr/2017AZUR4009/document",
}