RUS  ENG
Full version
JOURNALS // Zhurnal Vychislitel'noi Matematiki i Matematicheskoi Fiziki // Archive
Zh. Vychisl. Mat. Mat. Fiz., 1984 Volume 24, Number 4, Pages 566–578 (Mi zvmmf4412)
Calculation of preconditions of programs

S. A. Abramov


UDC: 519.681

MSC: 68Q60

Received: 05.07.1982
Revised: 24.05.1983


 English version: USSR Computational Mathematics and Mathematical Physics, 1984, 24:2, 149–157

Bibliographic databases:

© Steklov Math. Inst. of RAS, 2026