Taha Safouan Франция, Gif-sur-Yvette Степень PhD in Computer Science Область научных интересов формальное моделирование и верификация сложных систем Место работы и должность CentraleSupélec — доцент LRI, Université Paris-Saclay — научный сотрудник Адрес электронной почты safouan.taha@lri.fr
Тодоров В.., Taha S.., Boulanger F.., Хернандес А.. Proving properties of Discrete-Valued Functions using Deductive Proof: Application to the Square Root // Системная информатика. — 2019. — № 14. — С. 45-54
