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.