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