%0 Journal Article
%T ВЕРИФИКАЦИЯ РАСПРЕДЕЛЕНИЯ ПОЛЬЗОВАТЕЛЬСКОГО ИНТЕРФЕЙСА  НА ОСНОВЕ ПИ-ИСЧИСЛЕНИЯ
%A Сакулин, С.А.
%A Алфимцев, А.Н.
%A Типсин, Е.А.
%K верификация, формализация, распределение, распределенный интерфейс, пользовательский интерфейс, пи-исчисление, редукция
%J Вестник Брянского государственного технического университета
%D 2018
%N 2018
%P 9
%I Брянский государственный технический университет