Anureev I.S.   Garanina N.O.   Rozov A.S.   Sailau kyzy Z.   Zyubin V.E.  

Deductive Verification of Distributed Control Software Using Reflex

Докладчик: Anureev I.S.