Dedicative Verification of Reflex Programs
Anureev, I. S., Garanina, N. O., Lyakh, T. V., Rozov, A. S., Zyubin, V. E., Gorlatch, S. P.Volume:
46
Journal:
Programming and Computer Software
DOI:
10.1134/S0361768820040027
Date:
July, 2020
File:
PDF, 619 KB
2020