Back
Anureev I.S.
Garanina N.O.
Rozov A.S.
Sailau kyzy Z.
Zyubin V.E.
Deductive Verification of Distributed Control Software Using Reflex
Reporter:
Anureev I.S.
To reports list