Fayfel, Boris Leonidovich
Саратовский государственный технический университет
Russia, Saratov
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