%0 Journal Article
%A N. V. Shilov
%A D. A. Kondratyev
%A I. S. Anureev
%A E. V. Bodin
%A A. V. Promsky
%T Platform-independent specification and verification of the standard mathematical square root function
%J Modelirovanie i analiz informacionnyh sistem
%D 2018
%P 637-666
%V 25
%N 6
%I mathdoc
%U http://geodesic.mathdoc.fr/item/MAIS_2018_25_6_a3/
%G ru
%F MAIS_2018_25_6_a3