Anatoliy Doroshenko

Formal and Adaptive Methods for Automation of Parallel Programs Construction: Emerging Research and Opportunities (Advances in Systems Analysis, Software Engineering, and High Performance Computing)