Skip to Main content Skip to Navigation


...
inria-00516990v1  Reports
Renaud Marlet. Tempo Documentation - Interacting with a C Program Specializer
[Technical Report] RT-0390, INRIA. 2010, pp.149
...
hal-00507833v3  Preprints, Working Papers, ...
Emilie DiotCyril Gavoille. Path Separability of Graphs
2010