Rapport
(Rapport Technique)
Année : 2015
Martin Monperrus : Connectez-vous pour contacter le contributeur
https://hal.science/hal-01144026
Soumis le : lundi 20 avril 2015-16:32:54
Dernière modification le : mercredi 24 janvier 2024-09:54:24
Dates et versions
Identifiants
- HAL Id : hal-01144026 , version 1
Citer
Sebastian Lamelas, Martin Monperrus. Automatic Repair of Infinite Loops. [Technical Report] hal-01144026, University of Lille. 2015. ⟨hal-01144026⟩
Collections
343
Consultations
0
Téléchargements