SAMIR
GENAIM
Profesor contratado doctor
Pierre
Ganty
Publicacions en què col·labora amb Pierre Ganty (2)
2015
-
From non-zenoness verification to termination
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015
2013
-
Proving termination starting from the end
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)