Тодоров Василь

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