Тодоров Василь Франция, Vélizy-Villacoublay Степень Master of Science in Computer Science Область научных интересов формальное моделирование и верификация вложенных систем Место работы и должность Groupe PSA — Embedded software architect LRI, Université Paris-Saclay — PhD student Адрес электронной почты vassil.todorov@lri.fr
Тодоров В.., Taha S.., Boulanger F.., Хернандес А.. Proving properties of Discrete-Valued Functions using Deductive Proof: Application to the Square Root // Системная информатика. — 2019. — № 14. — С. 45-54
