Ouvrages
Année : 2020
Xavier Rival : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02402597
Soumis le : mardi 10 décembre 2019-15:16:01
Dernière modification le : vendredi 8 novembre 2024-16:38:02
Dates et versions
Identifiants
- HAL Id : hal-02402597 , version 1
Citer
Xavier Rival, Kwangkeun Yi. Introduction to Static Analysis. MIT Press, 2020, 9780262043410. ⟨hal-02402597⟩
147
Consultations
0
Téléchargements