![](/img/cover-not-exists.png)
Generating invariants for non-linear loops by linear algebraic methods
Rebiha, Rachid, Moura, Arnaldo Vieira, Matringe, NadirVolume:
27
Language:
english
Journal:
Formal Aspects of Computing
DOI:
10.1007/s00165-015-0333-3
Date:
November, 2015
File:
PDF, 610 KB
english, 2015