@misc{Aguirre16, author = {Alejandro Aguirre}, title = {Towards a Provably Correct Encoding from {F*} to {SMT}}, howpublished = {Inria Internship Report}, month = aug, year = {2016}, url = {http://prosecco.gforge.inria.fr/personal/hritcu/students/alejandro/report.pdf}, }