Todorov Vassil

Vassil Todorov
Russia, Vélizy-Villacoublay
Academic degree
Research area
Affiliation & position
  • Groupe PSA — Embedded software architect
  • LRI, Université Paris-Saclay — PhD student
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