Publications of Jérôme Leroux with Renaud Tabary


Conference articles

  1. Sebastien Bardin, Philippe Herrmann, Jérôme Leroux, Aymeric Vincent, Olivier Ly, and Renaud Tabary. The BINCOA Framework for Binary Code Analysis. In Computer Aided Verification, 23rd International Conference, CAV 2011, Snowbird, UT, USA, July 14-20, 2011, Proceedings, volume 6806 of Lecture Notes in Computer Science, 2011. Springer. Note: To appear. [bib]


This document was translated from BibTEX by bibtex2html