|
|
Publications in Math-Net.Ru |
Citations |
|
2019 |
1. |
V. Todorov, S. Taha, F. Boulanger, A. Hernandez, “Proving properties of discrete-valued functions using deductive proof: application to the square root”, Model. Anal. Inform. Sist., 26:4 (2019), 520–533 |
|
Organisations |
- Groupe PSA, Route de Gisy, 78140 Vélizy-Villacoublay, Франция
|
|