Towards a Provably Correct Encoding from F* to SMT (bibtex)

by Alejandro Aguirre

Reference:

Towards a Provably Correct Encoding from F* to SMT (Alejandro Aguirre), Inria Internship Report, 2016.

Bibtex Entry:

@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},
}