Chapitre D'ouvrage
Année : 2017
Thomas Seiller : Connectez-vous pour contacter le contributeur
https://hal.science/hal-02345688
Soumis le : lundi 4 novembre 2019-15:59:36
Dernière modification le : samedi 6 avril 2024-03:24:22
Citer
Jean-Yves Moyen, Thomas Rubiano, Thomas Seiller. Loop Quasi-Invariant Chunk Detection. Automated Technology for Verification and Analysis. ATVA 2017, pp.91-108, 2017, ⟨10.1007/978-3-319-68167-2_7⟩. ⟨hal-02345688⟩
Collections
29
Consultations
0
Téléchargements