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.
To reports list
- Information letter
- Important dates
- Program committee
- Organizing committee
- Topics
- Scientific program
- Open lecture
- Round-table discussion
- Abstract submission
- Visa
- Registration fee
- Accommodation
- Travel information
- Proceedings
- Participants
- Reports
- Registration/Login
To reports list