Media type: E-Article Title: Platform-Independent Specification and Verification of the Standard Mathematical Square Root Function Contributor: Shilov, N. V.; Kondratyev, D. A.; Anureev, I. S.; Bodin, E. V.; Promsky, A. V. Published: Allerton Press, 2019 Published in: Automatic Control and Computer Sciences, 53 (2019) 7, Seite 595-616 Language: English DOI: 10.3103/s0146411619070186 ISSN: 0146-4116; 1558-108X Keywords: Signal Processing ; Control and Systems Engineering ; Software Origination: Footnote: