Kodratyev, Dmitry Aleksandrovich
A.P. Ershov Institute of Informatics Systems of SB RAS
http://www.iis.nsk.su
Russia, 630090, Novosibirsk, Ac. Lavrentiev Ave, 6
Phone: +7(383) 330-86-52, Fax: +7(383) 332-34-94
Report
- 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
*A.P. Ershov Institute of Informatics Systems of SB RAS (Novosibirsk), Russia
**пенсионер (Kazan), Russia
***Саратовский государственный технический университет (Saratov), Russia
****АНО ВО Университет Иннополис (Kazan), Russia