Хернандес Армандо

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