SAMIR
GENAIM
Profesor contratado doctor
![Foto de Pavithra](/img/nophoto.png)
Pavithra
Prabhakar
Publikationen, an denen er mitarbeitet Pavithra Prabhakar (1)
2015
-
From non-zenoness verification to termination
2015 ACM/IEEE International Conference on Formal Methods and Models for Codesign, MEMOCODE 2015