Return to Article Details Сompilations method and semantic verification time parameterized of multiparallel programs Download Download PDF