Communication Dans Un Congrès
Année : 2009
Frédéric Dabrowski : Connectez-vous pour contacter le contributeur
https://hal.science/hal-00465547
Soumis le : vendredi 19 mars 2010-17:48:16
Dernière modification le : mercredi 6 novembre 2024-11:12:03
Dates et versions
Identifiants
- HAL Id : hal-00465547 , version 1
Citer
Frédéric Dabrowski, David Pichardie. A Certified Data Race Analysis for a Java-like Language. TPHOL'09, 2009, Germany. pp.212--227. ⟨hal-00465547⟩
Collections
307
Consultations
0
Téléchargements