Author:
Letichevsky A. A.,Lvov M. S.
Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Algebra and Number Theory
Reference7 articles.
1. Samuel, P., Zariski, O.: Commutative algebra, vol. 2. Berlin, Heidelberg, New York: Springer 1975?1976
2. A.A. Letichevsky: An approach to program analysis. Cybernetics6, 1?8 (1979)
3. M.S. Lvov: Invariant inequalities in programs interpreted on ordered fields. Cybernetics5, 22?27 (1986)
4. Caplain, M.: Finding invariant assertions for proving programs. Proc. Intern. Conf. Reliable Software, Los Angeles: 165?171 (1976)
5. Karr, M.: Affine relationships among variables of a program. Acta Informatica6, 133?151 (1976)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献