- 1
Thomas Seiller
1
Documents
Publications
- 1
- 1
Loop Quasi-Invariant Chunk DetectionAutomated Technology for Verification and Analysis. ATVA 2017, pp.91-108, 2017, ⟨10.1007/978-3-319-68167-2_7⟩
Chapitre d'ouvrage
hal-02345688v1
|