Armando Hernandez France, Vélizy-Villacoublay Research area formal modeling and verification of embedded systems Affiliation & position Groupe PSA — Embedded SW Senior Expert VP E-mail armando.hernandez1@mpsa.com
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
