Search results

Jump to: navigation, search
  • * [http://www-centre-saclay.cea.fr/ CEA Saclay] (Boris Yakobowski)
    604 B (76 words) - 15:34, 27 March 2015
  • ...the existing analyses of Frama-C. Joint work with Sandrine Blazy and Boris Yakobowski
    4 KB (629 words) - 16:12, 27 March 2015
  • Sandrine Blazy, David Bühler, and Boris Yakobowski. Sandrine Blazy, David Bühler, and Boris Yakobowski.
    12 KB (1,803 words) - 12:01, 6 September 2017
  • * 11:30 Boris Yakobowski (CEA) : Value analysis in Frama-C * Boris YAKOBOWSKI (CEA)
    2 KB (263 words) - 16:01, 27 March 2015