Author:Arnaldo Moura

Publications
Generating Asymptotically Non-terminant Initial Variable Values for Linear Diagonalizable Programs. Rachid Rebiha, Nadir Matringe and Arnaldo Vieira Moura In:SCSS 2013. 5th International Symposium on Symbolic Computation in Software Science