Safouan Taha France, Gif-sur-Yvette Academic degree PhD in Computer Science Research area formal modeling and verification of complex systems Affiliation & position CentraleSupélec — associate professor LRI, Université Paris-Saclay — researcher E-mail safouan.taha@lri.fr
Todorov V., Taha S., Boulanger F., Hernandez A. Proving properties of Discrete-Valued Functions using Deductive Proof: Application to the Square Root // System Informatics. — 2019. — # 14. — P. 45-54
