Crossmark

Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function

Published Online: 2020-03-04

Published Print: 2019-12

Authors

Shilov, N. V.

Kondratyev, D. A.

Anureev, I. S.

Bodin, E. V.

Promsky, A. V.
License Information

Text and Data Mining valid from 2019-12-01

Version of Record valid from 2019-12-01
More Information

Article History

Received: 10 September 2018

Revised: 15 October 2018

Accepted: 10 November 2018

First Online: 4 March 2020

CONFLICT OF INTEREST

: The authors declare that they have no conflicts of interest.

Document is current