V. Todorov, S. Taha, F. Boulanger, A. Hernandez, “Proving properties of discrete-valued functions using deductive proof: application to the square root”, Модел. и анализ информ. систем, 26:4 (2019), 520–533
Организации
Groupe PSA, Route de Gisy, 78140 Vélizy-Villacoublay, Франция
