WS-BPEL-МОДИФИКАЦИЯ МЕТОДА TLC-ВЕРИФИКАЦИИ Шифр журнала: Ж24320/2013/4(2) Файл:  Vejpte_2013_4-2_6.pdf - 0