D. Équipe-projet and U. , Perpignan Via Domitia LIRMM, CNRS: UMR 5506 -Univ
D. A. Najahi and C. Dali-upvd-/-lirmm, Synthesis of fixed-point programs: the case of matrix multiplication 26, p.26
A. Najahi and C. Dali-upvd-/-lirmm, Synthesis of fixed-point programs: the case of matrix multiplication 27, p.26