%0 Journal Article %A N. V. Krylov %T On a~proof of It\^o's formula %J Informatics and Automation %D 1993 %P 170-174 %V 202 %I mathdoc %U http://geodesic.mathdoc.fr/item/TRSPY_1993_202_a9/ %G ru %F TRSPY_1993_202_a9