% Encoding: UTF8

@MastersThesis{FiatToFacade+Pit-Claudel+2016,
  author       = {Clément Pit-Claudel},
  title        = {Compilation Using Correct-by-Construction Program Synthesis},
  school       = {Massachusetts Institute of Technology},
  year         = 2016,
  month        = {August},
  doi          = {1721.1/107293},
  url          = {http://pit-claudel.fr/clement/MSc/}
}