Login:
Password:
Login
Eurasian Conference on Applied Mathematics
Novosibirsk, Akademgorodok, Russia, 26 - 30 August, 2019
General information
Program committee
Organizing committee
Visa
Scientific program
Topics
Important dates
Accommodation
Abstract submission
Registration fee
Location
Participants
Reports
Registration/Login
Anureev I.S.
Garanina N.O.
Rozov A.
Sailau kyzy Z.
Zyubin V.E.
Liakh T.V.
Verification-oriented transformational semantics of distributed Reflex programs
Reporter:
Zyubin V.E.
To reports list