Taha Safouan

Safouan Taha
Russia, Gif-sur-Yvette
Academic degree
Research area
Affiliation & position
  • CentraleSupélec — associate professor
  • LRI, Université Paris-Saclay — researcher
E-mail
List of Articles in System Informatics:
V. Todorov S. Taha F. Boulanger A. Hernandez Proving properties of Discrete-Valued Functions using Deductive Proof: Application to the Square Root // System Informatics. — . — # 14.  — P. 45-54