ETAPS 2019 (series) / Joseph Sifakis
![Joseph Sifakis](https://conf.researchr.org/getProfileImage/josephsifakis/6859985b-3c5e-4a0c-81a8-67dae924ae74/small.jpg?1711642843000)
Not registered as user yet
Name:Joseph Sifakis
Country:France
Affiliation:Verimag/CNRS
Personal website: http://www-verimag.imag.fr/PEOPLE/Joseph.Sifakis/
Contributions
ETAPS 2019-profile
View general profile
View general profile