%0 Journal Article
%A S. A. Abramov
%T Calculation of preconditions of programs
%J Žurnal vyčislitelʹnoj matematiki i matematičeskoj fiziki
%D 1984
%P 566-578
%V 24
%N 4
%I mathdoc
%U http://geodesic.mathdoc.fr/item/ZVMMF_1984_24_4_a8/
%G ru
%F ZVMMF_1984_24_4_a8