Communication Dans Un Congrès
Année : 2004
Roberto M. Amadio : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00146991
Soumis le : mardi 15 mai 2007-16:01:33
Dernière modification le : vendredi 24 mars 2023-14:52:48
Dates et versions
Identifiants
- HAL Id : hal-00146991 , version 1
Citer
Roberto Amadio, Solange Coupet-Grimal, Silvano Dal Zilio, Line Jakubiec. A Functional Scenario for Bytecode Verification of Resource Bounds. Sep 2004, pp.265-279. ⟨hal-00146991⟩
37
Consultations
0
Téléchargements