-
* [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
