Boulanger Frédéric

Frédéric Boulanger
Russia, Gif-sur-Yvette
Academic degree
Academic rank
Research area
Affiliation & position
  • CentraleSupélec — professor
  • LRI, Université Paris-Saclay — senior 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