Cover of the work “Research and development of semantic methods for analyzing distributed programs”. Author: Shipov, Andrey Aleksandrovich. Degree: Candidate of Sciences. Year: 2016

Research and development of semantic methods for analyzing distributed programs

Moscow Technological University, Moscow

232 pp.

Research and development of semantic methods for analyzing distributed programs — Shipov, Andrey Aleksandrovich — 2016 — Russian Dissertation Library