Dedicative Verification of Reflex Programs
Crossref DOI link: https://doi.org/10.1134/S0361768820040027
Published Online: 2020-08-08
Published Print: 2020-07
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Anureev, I. S.
Garanina, N. O.
Lyakh, T. V.
Rozov, A. S.
Zyubin, V. E.
Gorlatch, S. P.
Text and Data Mining valid from 2020-07-01
Version of Record valid from 2020-07-01
Article History
Received: 10 February 2020
Revised: 20 February 2020
Accepted: 15 March 2020
First Online: 8 August 2020