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
© 1996-2024, ФИЦ ИВТ, Новосибирск