@phdthesis{ch-320,
  title = {Verification by Reduction to Functional Programs},
  author = {Régis Blanc},
  year = {2017},
  url = {https://infoscience.epfl.ch/record/230242},
  researchr = {https://researchr.org/publication/ch-320},
  cites = {0},
  citedby = {0},
  school = {EPFL, Switzerland},
}