Frédéric Boulanger France, Gif-sur-Yvette Academic degree PhD in Computer Science Academic title Professor Research area formal modeling and verification of complex systems Affiliation & position CentraleSupélec — professor LRI, Université Paris-Saclay — senior researcher E-mail frederic.boulanger@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
