Vassil Todorov France, Vélizy-Villacoublay Academic degree Master of Science in Computer Science Research area formal modeling and verification of embedded systems Affiliation & position Groupe PSA — Embedded software architect LRI, Université Paris-Saclay — PhD student E-mail vassil.todorov@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
