Title: Problemy spet︠s︡ifikat︠s︡ii i verifikat︠s︡ii parallelʹnykh sistem
Subjects: Computer algorithms, Parallel programming (Computer science), Verification, Computer software