TY - THES DP - http://www.theses.fr/2017GREAM034 TI - Sémantique et implantation d'une extension de ML pour la preuve de programmes AU - Lepigre, Rodolphe A3 - Nour, KarimHyvernat, Pierre; Raffalli, Christophe PY - 2017 N1 - Thèse de doctorat Informatique Université Grenoble Alpes (ComUE) 2017 N1 - 2017GREAM034 UR - http://www.theses.fr/2017GREAM034/document ER -