Wiki Agenda Contact Version française

Publications : Raphaël Rieu-Helft

Back
[1] Raphaël Rieu-Helft and Pascal Cuoq. Result graphs for an abstract interpretation-based static analyzer. In Vingt-huitièmes Journées Francophones des Langages Applicatifs, Gourette, France, January 2017. [ bib ]

Back
This page was generated by bibtex2html.