BibTeX record phd/hal/Lepigre17

download as .bib file

@phdthesis{DBLP:phd/hal/Lepigre17,
  author    = {Rodolphe Lepigre},
  title     = {Semantics and Implementation of an Extension of {ML} for Proving Programs.
               (S{\'{e}}mantique et Implantation d'une Extension de {ML} pour
               la Preuve de Programmes)},
  school    = {Grenoble Alpes University, France},
  year      = {2017}
}
a service of Schloss Dagstuhl - Leibniz Center for Informatics