Rachid Rebiha, Arnaldo Vieira Moura, Nadir Matringe. Generating invariants for non-linear loops by linear algebraic methods. Formal Asp. Comput., 27(5-6):805-829, 2015. [doi]
@article{RebihaMM15-0,
title = {Generating invariants for non-linear loops by linear algebraic methods},
author = {Rachid Rebiha and Arnaldo Vieira Moura and Nadir Matringe},
year = {2015},
doi = {10.1007/s00165-015-0333-3},
url = {http://dx.doi.org/10.1007/s00165-015-0333-3},
researchr = {https://researchr.org/publication/RebihaMM15-0},
cites = {0},
citedby = {0},
journal = {Formal Asp. Comput.},
volume = {27},
number = {5-6},
pages = {805-829},
}