Accéder directement au contenu

Thomas Seiller

1
Documents

Publications

jean-yves-moyen

Loop Quasi-Invariant Chunk Detection

Jean-Yves Moyen , Thomas Rubiano , Thomas Seiller
Automated Technology for Verification and Analysis. ATVA 2017, pp.91-108, 2017, ⟨10.1007/978-3-319-68167-2_7⟩
Chapitre d'ouvrage hal-02345688v1