Хернандес Армандо Франция, Vélizy-Villacoublay Область научных интересов формальное моделирование и верификация вложенных систем Место работы и должность Groupe PSA — Embedded SW Senior Expert VP Адрес электронной почты armando.hernandez1@mpsa.com
Тодоров В.., Taha S.., Boulanger F.., Хернандес А.. Proving properties of Discrete-Valued Functions using Deductive Proof: Application to the Square Root // Системная информатика. — 2019. — № 14. — С. 45-54
