36 résultats  enregistrer la recherche


  • 1
  • 2
...
inria-00074892v1  Rapport
Jean-Claude RaoultFrédéric VoisinSet-theoretic graph rewriting
[Research Report] RR-1665, INRIA. 1992
...
inria-00181950v2  Rapport
Yannick MoyChecking C Pointer Programs for Memory Safety
[Research Report] RR-6334, INRIA. 2007, pp.54
  • 1
  • 2