Верификация автоматных программ Лукин, Михаил Андреевич ВАК РФ 05.13.11 Стр. 1 из 16