Логические методы и инструментальные средства верификации офисных процедур Матюнина, Ольга Евгеньевна ВАК РФ 05.13.12 Стр. 1 из 23