Евгения Веретельникова

Теоретическая информатика. Доказательство правильности