![](/img/cover-not-exists.png)
Iterative methods of program analysis: Equalities and inequalities
A. B. Godlevskii, Yu. V. Kapitonova, S. L. Krivoi, A. A. LetichevskiiVolume:
26
Language:
english
Pages:
12
DOI:
10.1007/bf01082683
Date:
May, 1990
File:
PDF, 962 KB
english, 1990