Joseph Sifakis
Joseph Sifakis (), Fransız-Yunan bilgisayar bilimcisi. Edmund M. Clarke ve E.