Doroshenko, A.Yu.; Yatsenko, O.A.
(Доповіді НАН України, 2020)
Formal methods and software tools of automated design and synthesis of parallel programs are proposed. The
developed facilities use the language based on the Glushkov system of algorithmic algebras intended for a ...