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, Франция
