@PHDTHESIS{ekici2015,
url = "http://www.theses.fr/2015GREAM070",
title = "Certification de programmes avec des effets calculatoires",
author = "Ekici, Burak",
year = "2015",
note = "Thèse de doctorat dirigée par Dumas, Jean-Guillaume et Duval, Dominique Mathématiques et informatique Université Grenoble Alpes (ComUE) 2015",
note = "2015GREAM070",
url = "http://www.theses.fr/2015GREAM070/document",
}