Anureev I.S.   Bodin E.V.   Kodratyev D.A.   Promsky A.V.   Shilova S.O.   Fayfel B.L.   Shilov N.V.  

Formal specification and verification of the standard Mathematical functions

Reporter: Shilov N.V.