Towards a Provably Correct Encoding from F* to SMT (bibtex)
by
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},
}
Powered by bibtexbrowser