[Sydney Internship] Final Report

Final report of my M2 research internship at Macquarie University, Sydney

It is available here: http://younesse.net/assets/M2_report.pdf

You can also find the associated Why3 implementation here and the slides used for my presentation: here:   Sydney Internship Slides